refinement of previous definition;