In the three-door game, switching doubles your odds — Anecdota