Zaslat SMS: Formal logic and linguistics.