Text this: Notes on intensional theories