Standard Logical Equivalences Involving