refinement: method -> operator.