interface refinements