Email Record: Intensional and higher-order modal logic :