correct not assignment to connective.not