more example refinements