Listen folk, if someone’s name is Michael you should not automatically shorten it to “Mike.”