example/extension monty hall