This comment is in the spec, but I mean this for the main `FrameState` class.