Zaslat SMS: Symbolic Logic