{ NOT (NOT []) }