Email Record: First order categorical logic :