Refinements, adding references