refinement: infinity.