Invia SMS: Classical mathematical logic