More in freshness -> completeness. About to restructure state notation.
Timestamps removed after CESK*tXi machine. Moved stores into core state shape.