I'm not sure, but I'll ask. I think if he did, he might have mentioned it when we were reading the Number Devil!