Maybe consensus should only be reached on certain invariants, with the underlying implementation being far more mutable.