An idea from Groundwork of the Metaphysics of Morals
Proving freedom this way, from 2 points of view, is widely judged to fail. By 1788 it had been replaced: the moral law was treated as a basic fact of reason, and freedom was inferred from the law instead.