Zaslat SMS: Formal Logic/