Zaslat SMS: Formal Logic /