If you read the CS papers surrounding distributed systems, you will often see the notion of a &#x27;journal&#x27; or a &#x27;log&#x27;, meaning an append-only structure, which typically contains numerous agreed-upon facts.