slightly improved assumption simplification