Գրեք սա: Ought implies Kant