Enviar registro por correo electrónico: Proofs and types /