Added documentation for And.P() and Or.P()