P -> T, but macros still say T :-(