Assignment refinements