Refinements to the loop