"refinement operator" . . . "refinement operator" .