: This fact is essential to the correctness of the first step. The host will certainly reveal a goat behind a different (as yet unspecified) door. We know thats  he can and he does. You may expand my text to emphasize this.