simplify seems to work fine