framework refinements