I should mention that even if knowing is asymmetric, one can show that K(S) = K(L(K(S))), where L(S) is the set of all people who ARE KNOWN BY everyone in S. (But that doesn't go to the tune of "The Irish Washerwoman". :-) ) Jim