Zaslat SMS: Axiomatic functionalism