partially finished NOT operation