@mathsinthecity don't dumb down! "Whats sour, yellow and = to the axiom of choice? Zorn's Lemon" Only joke whose explanation makes it better