RE: Monty Hall Problem - logic proof