More refinements to example