Logicalequivalencehas porn