Fleshing out examples