 But one may require more from the rejectivist, namely that every formula is logically equivalent to a formula in what Humberstone (2000a, Footnote 10) calls “Bendall normal form”, namely to a formula that contains at most one occurrence of the negation sign as the principal connective. According to Bendall (1979, 68), the redundancy in this sense of the embedding of a negation operator,