Enviar Registro por Correo electrónico: Toward verified biological models.