User blog comment:Megaphantaze/Glitches in Olympic games series/@comment-6576725-20130906164937/@comment-7200037-20130906170723

Yes it is. Mario's full name is Mario Mario. His father's full name is Mario Mario and his father's name is Mario Mario and so on. I read the book based on Super mario movie and there were reading this fact