Come to think of it, are there *any* cases where we wouldn't have `thisReadSequence` stored?