Updated PRNG in NOT operator