Enviar por SMS: Proof, logic, and formalization