A better version I heard changed 'mosquito' to 'mountain goat'. Since both characters are from the same domain, people start thinking about (more) reasonable solutions and get blindsided harder by the math reference!