logical-negation public under logical-connective 4, proposition 24 List Picture As a command Nothing is filed under logical-negation.