FOM: Alice, Bob and Carol (correction)

[Dean Buckner]

As Prof. Mathias and others spotted, for Alice Bob &Carol to be three, Bob
must be different from Carol, as well as Alice from Bob, and from Carol.
This was simply an omission, compounded by the accident of gender-difference
between the names.

Of course I did not mean to imply that, because "Bob" is usually applied to
males, and "Carol" to females, therefore Bob is different from Carol.

Apologies.

Dean Buckner