Invia SMS: Prological Features in a Functional Setting — Axioms and Implementations