EmptyContextState -> NullContextState / Nadir