Logical Equivalence Has