Logicalequivalencehas