 As difficult as negation might be psychologically, it is easier to work with than the alternatives suggested by Henry Sheffer. In 1913, he demonstrated that all of the logical connectives can be defined in terms of the dual of conjunction, now known as NAND (short for NOT AND). Sheffer translates ‘p NAND q’ as ‘either not p or not q’. ‘Not p’ is defined as ‘p NAND p’. Sheffer notes that the dual of disjunction, NOR (short for NOT OR), can also define all the connectives. Sheffer translates ‘p NOR q’ as ‘neither p nor q’. From a logical point of view, negation is dispensable. This raises hope that all of Parmenides’ paradoxes of negation can be translated away.