Invia SMS: The Logic of Provability/