65

54

a condition to know that the graph g is true,
while [diagram] asserts that there is no such possible
state of information. Suppose however
we wish to assert that there is a conceivable state of
information of which it would not be true that
in that state the knower would not be in condition
to know that g is true. We shall naturally
express this by [diagram] . But this is
to say that there is a conceivable state of information
in which the knower would know that g is true.
That is [diagram].

Now suppose we wish to assert that
there is a conceivable state of information
in which the knower would know g to be true
and yet would not know another graph h