Mario's Quantification Quest