Enviar Registro por Correo electrónico: Advances in proof theory.