simpler simplification