Interestingly I have never seen PFP, FPF and PEP before. The names for the eleven volume elements that he used before are:
"...Here are the 11 expression names which you have been using: P1, T1, P2, T2P, T2F, Not T2P, Not T2F, Not Not T2P, Not Not T2F, P3F and P3P..."