simplifier modifications