From 5d1455bc6c1a5176eefb68562adb1f3675353466 Mon Sep 17 00:00:00 2001
From: Fadi Shawki <fadiorbitmines@gmail.com>
Date: Mon, 3 Jun 2024 19:43:21 +0200
Subject: [PATCH] Filter some paragraphs through

---
 .../src/routes/papers/2024.AUniversalLanguage.tsx      | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/orbitmines.com/src/routes/papers/2024.AUniversalLanguage.tsx b/orbitmines.com/src/routes/papers/2024.AUniversalLanguage.tsx
index 80e1ed0..3dfef16 100644
--- a/orbitmines.com/src/routes/papers/2024.AUniversalLanguage.tsx
+++ b/orbitmines.com/src/routes/papers/2024.AUniversalLanguage.tsx
@@ -182,6 +182,12 @@ const AUniversalLanguage = () => {
 
           </Block>
 
+          And a simple move back:
+
+          <Block>
+
+          </Block>
+
           <TODO>...</TODO>
 
           <BR/>
@@ -339,7 +345,7 @@ const AUniversalLanguage = () => {
         </Section>
       </Arc>
       <Arc head="Arc: Version Control">
-        <Section>
+        <Section sub="Concurrency, Dependency management, Causal Histories, ..., Theorem proving">
           <span style={{textAlign: 'left', minWidth: '100%'}}><span
               className="bp5-text-muted">Version control, causal histories, theorem proving, ..., a (programming) language</span> are all rather similar. Always we consider some sort of <span
               className="bp5-text-muted">persisting, surviving, ..., crafted</span> items whose rediscoverability is not entirely obvious. In the case of version control, or reversibility, the gnawing question becomes: "What if I didn't know about something?"</span>
@@ -359,6 +365,8 @@ const AUniversalLanguage = () => {
           <Block>
 
           </Block>
+
+          <TODO>Essentially, version control comes hand-in-hand with compression. It becomes a story of redundancy, ..., recoverability.</TODO>
         </Section>
       </Arc>
       <Arc head="Arc: Exploration and Discovery">