Logical Equivalence Has porn