I do wonder what would happen if some cardinal already named John or Gregory or some other indisputably papal name got elected. Would he keep his name?