refinement: example.