this “invariance” is a lot like reducing side effects in functional programming
functional thinking
is there a connection here to probabilistic thinking?