Запис е-пошти: Una coinstitución para la lógica de comportamiento abstracto