Remove PEq class. I fail to see how it's different from Eq.