Added the first example on the new spec def.