Switched the order of arguments of Ṗ.
Changed the naming convention of relational operators.