::::Sure but in the MHP we are faced with a natural language statement.  All I am objecting to is you claim that a solution which conditions on the door number opened by the host is the way that professionals naturally solve the problem.  There is no one foolproof reason for this but there are three arguments which seriously weaken that assertion.  They are: 

 ::::1) If you explicitly condition on the host door you should (for consistency) also explicitly condition on the players initial choice of door. 

 ::::2) Depending on your exact interpretation of the problem, as you discuss above, If you explicitly condition on the host door you should (for consistency) also condition on the identity of the goat revealed. 

 ::::3) It is not clear from the wording that we are intended to consider door identities at all, and we actually know that this was not the intention of Whitaker, vos Savant, and Selvin. 

 ::::You have agreed points 1 and 3 above.  All I am arguing against is your occasional assertion that the Morgan-style (explicitly conditioning on the host door only) is the 'logically precise', 'professional' or 'proper' way of solving the problem. It is just one way, better than some and less good than others.