Monty Hall example