Invia SMS: Logic for mathematicians