Logical Equivalence Has Been