Use \phi_{ite} for symbolic consistency
Add explanation for Cantor's problem