update_constrained now correct