A Manual of Intensional Logic door