Fleshing out the spec