Starting with Kant