Text this: Ought implies Kant