How Mario really works