* refinement of param