發送短信: Ways of proof theory