Pošalji SMS: The Paradigm of Deduction