Improved rules (no nots) :-)