refinement: move examples.