Text this: Intensional mathematics /