[slickpoppa]

[ QUOTE ]
Your statement of that problem is incomplete for the usual solution. You have to assume not only that the queen is known to be infallible, but also that fact is known, and that fact is known, etc. You can't let someone know the queen is infallible, but doubt whether everyone else knows this, or doubt whether everyone knows that no one has a doubt about the queen's infallibility, etc.

You have to assume that the women are not only logical, but know that the other women are logical, and know that they know that the other women are logical, etc.

[/ QUOTE ]
Yeah, all of those assumptions are necessary. I thought that they were implied, but maybe I should have been more explicit.