added a simplifier