Mike is a shortened version of Michael tho so arent they both Michael?