but it must be doing an append-only b-tree, which is allowing for the immutability of values, and hence the process safety