Re #7415. Inverting not-and into and or.