True, but he wouldn’t have the option if not for his parents. Unless he changed his name specifically for this at some point.