refinement: extract another object.