Enviar Registro por Correo electrónico: Guarded Second-Order Logic, Spanning Trees, and Network Flows