Enviar por SMS: The Logic of Provability/