[math-fun] Bad news about David Gale