Publishing

A pointer is which version an environment currently serves. Publishing moves a pointer and changes no bytes, so every row here is reversible — and every row is a claim about what a reader is being shown right now.