发送短信: Ways of proof theory