Embracing Kant's Formalism