Kant’s position on the problem of free will can be perplexing and frustrating: all the real questions about human agential capacities or even about issues of moral imputability are empirical questions, which have empirical answers. But there remains a metaphysical or transcendental problem about the possibility of freedom, which is forever insoluble. Ian Proops’ discussion in The Fiery Test of Critique is to be commended for displaying the rare virtue of appreciating this last point and presenting Kant’s position about it accurately. The only questionable part has to do with the standard terminology – ‘determinism’, ‘libertarianism’, ‘compatibilism’, and ‘incompatibilism’. I argue that it would be better to say, as Kant does, and Proops also does most of the time, that practical freedom, hence transcendental freedom, must be presupposed whenever we act or even judge, but how freedom is possible is both unknowable and even incomprehensible to us.