Formally, RI and AF are defined over Seq's set of states, but it's going to be notationally convenient (and I hope more understandable) if I denote each of these states by the sequence value to which Seq's state variable, q, maps. In other words, I should write something like:
but instead I'm going to write:
