Text this: Intensional logics for programming /