Zaslat SMS: Symbolic logic and intelligent machines