Text this: Advances in intensional logic /