Text this: A step-indexed Kripke model of hidden state.