Text this: Intensional logic :