发送短信: Ought implies Kant