Monty’s ketchup problem