Email Record: Intensional logics for programming /