Refinement example refined :-)
Refined even further.