Greedy simplifier seems like O.K.