All mario games are formulaic