Enviar registro por correo electrónico: Proof, logic, and formalization