發送短信: Axiomatic functionalism