“But,” said another piece of coal, “you have the idea, I believe, that his name was spelt as our name is spelt. I think that is wrong. The king spelt his name Cole. The song you mean goes like this, ‘Old King Cole was a merry old soul.’ Isn’t that the one you mean?”