Standard Logical Equivalences Names