We can therefore be entirely unconcerned that somebody will someday prove the opposite; we therefore do not have to think up scholastic proofs, but can always assume these propositions, which are quite consistent with the speculative interest of our reason in its empirical use and are, moreover, the only means for uniting this with the practical interest.