Fleshing out the example.