. . " ;; enough about NOT and intersection types to benefit from a (NOT" . . .