  So h0 generates a revision sequence (see Definition 3.7, below). And A and B are stably true in that revision sequence (see Definition 3.6, below), while C is stably false.  The liar sentence X is, unsurprisingly, neither stably true nor stably false: the liar sentence is unstable. A similar calculation would show that A is stably true, regardless of the initial hypothesis: thus A is categorically true (see Definition 3.8).