   The ‘otherwise’ clause tells us that if d is not a sentence of L, then, after one application of revision, we stick with the hypothesis that d is not  true.[5]  Note that, in Example 3.1, h1 = τM(h0) and h2 = τM(h1). We will often drop the subscripted ‘M’ when the context make it clear which ground model is at issue.