Email Record: Intensional mathematics /