Zaslat SMS: Elementary formal logic/