Enviar registro por correo electrónico: The clausal theory of types /