Assignment refinements.