-those possibilites in which Alice is hungry survive. You might think
-that asserting *might* requires that the prejacent be not only
-possible, but undecided. If you like this idea, you can easily write
-an update rule for the diamond on which update with the prejacent and
-its negation must both be non-empty.
+those possibilites in which Alice is hungry survive. So negating an
+assertion rules out the possibility, but asserting the non-negated
+version does not.
+
+You might think that asserting *might* requires that the prejacent be
+not merely possible, but undecided. If you like this idea, you can
+easily write an update rule for the diamond on which update with the
+prejacent and its negation must both be non-empty.