Logical Equivalence Has Be porn