According to this, the theoretical use of reason is that through which I cognize a priori (as nec essary) that something is; but the practical use is that through which it is cognized a priori what ought to happen.