Zohran Mamdani gives the sense he triple-checks data for fun.