Enviar rexistro por email: Logical Concurrency Control from Sequential Proofs