 If we think of negation as essentially a means for opposition—the impossibility of simultaneously endorsing two incompatible options (see the entries on  contradiction  and the  traditional square of opposition)—propositional  negation is not necessarily privileged. This view is formally implemented in the Boolean algebraic model of Keenan and Faltz, on which negation is a cross-categorial operation, as are the binary connectives: