It's Dr.　　　　　　　　 Tim

In a shocking breakthrough sure to earn the Fields medal, a years-long collaboration between mathematicians in Leipzig and Cambridge claims to reduce the proven upper bound for the number of mainline mario games from $\mathrm{1<!--\; -->}{\mathrm{0<!--\; -->}}^{\mathrm{1<!--\; -->}{\mathrm{0<!--\; -->}}^{\mathrm{31<!--\; -->}}}$ to $\mathrm{1<!--\; -->}{\mathrm{0<!--\; -->}}^{\mathrm{15<!--\; -->}}$