What is about names of people in the educational system? I know of a dean who was called Richard Woodcock. (Just how many slang terms about the same thing can you put in one name?) No, I'm not kidding.