Email Record: A functorial model theory :