https://www.reddit.com/r/interestingasfuck/comments/ixs254/super_mario_is_named_after_reallife_businessman/g68krk6/