negation and local change post processing