refine some earlier examples