发送短信: Non-axiomatic logic