wikipedia says: > The not-predicate expression ...

# dsl

[Alex Cruise]

wikipedia says:

The not-predicate expression !e succeeds if e fails and fails if e succeeds, again consuming no input in either case.