class Refinement