Removed all references to Tf_refinements