refinements as for documentation