F refinements 1