Pošljite SMS: Axiomatic functionalism