diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index dd2ac2c..d6a975f 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -4,17 +4,31 @@
     "type": "split",
     "children": [
       {
-        "id": "efd2410a71337f52",
+        "id": "f51c1efa0452f785",
         "type": "tabs",
         "children": [
           {
-            "id": "383fb8ddbc7a9dc8",
+            "id": "681355c2483f6307",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
+                "mode": "source",
+                "source": false
+              },
+              "icon": "lucide-file",
+              "title": "3b - Aravind's algorithm and improvements"
+            }
+          },
+          {
+            "id": "926fa7285c533c59",
             "type": "leaf",
             "state": {
               "type": "markdown",
               "state": {
                 "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
-                "mode": "preview",
+                "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
@@ -22,30 +36,20 @@
             }
           },
           {
-            "id": "6e3afe627f01d355",
+            "id": "7f703980f7154aff",
             "type": "leaf",
             "state": {
-              "type": "pdf",
+              "type": "diff-view",
               "state": {
-                "file": "Concurrent Systems/slides/class 5.pdf"
+                "file": "conflict-files-obsidian-git.md",
+                "staged": false
               },
-              "icon": "lucide-file-text",
-              "title": "class 5"
-            }
-          },
-          {
-            "id": "070e50bf8e547731",
-            "type": "leaf",
-            "state": {
-              "type": "pdf",
-              "state": {
-                "file": "Concurrent Systems/slides/class 6.pdf"
-              },
-              "icon": "lucide-file-text",
-              "title": "class 6"
+              "icon": "git-pull-request",
+              "title": "Diff View (conflict-files-obsidian-git)"
             }
           }
-        ]
+        ],
+        "currentTab": 2
       }
     ],
     "direction": "vertical"
@@ -77,7 +81,7 @@
             "state": {
               "type": "search",
               "state": {
-                "query": "",
+                "query": "exercise",
                 "matchingCase": false,
                 "explainSearch": false,
                 "collapseAll": false,
@@ -197,11 +201,11 @@
       }
     ],
     "direction": "horizontal",
-    "width": 364.5,
-    "collapsed": true
+    "width": 364.5
   },
   "left-ribbon": {
     "hiddenItems": {
+      "smart-second-brain:Open S2B Chat": false,
       "switcher:Open quick switcher": false,
       "graph:Open graph view": false,
       "canvas:Create new canvas": false,
@@ -209,48 +213,50 @@
       "templates:Insert template": false,
       "command-palette:Open command palette": false,
       "obsidian-ocr:Search OCR": false,
+      "pdf-plus:PDF++: Toggle auto-copy": false,
+      "pdf-plus:PDF++: Toggle auto-focus": false,
+      "pdf-plus:PDF++: Toggle auto-paste": false,
       "obsidian-git:Open Git source control": false,
-      "smart-second-brain:Open S2B Chat": false,
       "companion:Toggle completion": false
     }
   },
-  "active": "383fb8ddbc7a9dc8",
+  "active": "7f703980f7154aff",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
-    "Concurrent Systems/notes/2b - Round Robin algorithm.md",
-    "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
-    "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
-    "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
-    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
-    "Concurrent Systems/notes/6a - Alternatives to Atomicity.md",
-    "Concurrent Systems/slides/class 6.pdf",
+    "Concurrent Systems/notes/4c - Dining Philosophers.md",
     "Concurrent Systems/notes/6 - Atomicity.md",
     "Concurrent Systems/notes/5 - Software Transactional Memory.md",
-    "Concurrent Systems/slides/class 5.pdf",
-    "Concurrent Systems/notes/4c - Dining Philosophers.md",
-    "Concurrent Systems/slides/class 8.pdf",
-    "Concurrent Systems/notes/1b - Peterson algorithm.md",
-    "Concurrent Systems/slides/class 7.pdf",
-    "Pasted image 20250325090735.png",
-    "Concurrent Systems/notes/images/Pasted image 20250324091452.png",
-    "Concurrent Systems/notes/images/Pasted image 20250324082534.png",
-    "Concurrent Systems/notes/images/Pasted image 20250324082545.png",
-    "Concurrent Systems/notes/images/Pasted image 20250324092633.png",
-    "Concurrent Systems/notes/1 - CS Basics.md",
-    "Concurrent Systems/notes/images/Pasted image 20250324100652.png",
+    "Concurrent Systems/notes/2b - Round Robin algorithm.md",
+    "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
+    "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
     "Concurrent Systems/notes/4b - Monitors.md",
-    "Concurrent Systems/slides/class 4.pdf",
-    "Concurrent Systems/slides/class 3.pdf",
-    "Concurrent Systems/notes/4 - Semaphores.md",
-    "Concurrent Systems/slides/class 2.pdf",
-    "Concurrent Systems/notes/Untitled.pdf",
+    "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
     "conflict-files-obsidian-git.md",
-    "Concurrent Systems/notes/images/Pasted image 20250318090909.png",
+    "Pasted image 20250325090735.png",
+    "Concurrent Systems/slides/class 8.pdf",
+    "Concurrent Systems/slides/class 7.pdf",
+    "Concurrent Systems/notes/images/Pasted image 20250324100652.png",
+    "Concurrent Systems/notes/images/Pasted image 20250324092633.png",
+    "Concurrent Systems/notes/images/Pasted image 20250324091452.png",
+    "Concurrent Systems/notes/images/Pasted image 20250324082545.png",
+    "Concurrent Systems/notes/images/Pasted image 20250324082534.png",
+    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
+    "Concurrent Systems/notes/6a - Alternatives to Atomicity.md",
+    "Concurrent Systems/notes/1b - Peterson algorithm.md",
+    "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
+    "3b - Aravind's algorithm and improvements.pdf",
+    "Concurrent Systems/slides/class 6.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250318090733.png",
-    "Pasted image 20250318090909.png",
-    "Pasted image 20250318090733.png",
+    "Concurrent Systems/notes/images/Pasted image 20250318090909.png",
+    "Concurrent Systems/slides/class 5.pdf",
+    "Concurrent Systems/notes/4 - Semaphores.md",
+    "Concurrent Systems/notes/1 - CS Basics.md",
+    "Concurrent Systems/notes/images/Pasted image 20250317105355.png",
+    "Concurrent Systems/slides/class 4.pdf",
+    "Concurrent Systems/notes/images/Pasted image 20250317100456.png",
     "HCIW/slides/4 HUI2016-6-forcefeedback.pdf",
     "HCIW/slides/3b Haptic slides.pdf",
+    "HCIW/slides/3Haptic interaction.pdf",
+    "HCIW/slides/2 Beacon based interfaces.pdf",
     "HCIW/notes/2 - Interface and Interaction for IoT.md",
     "HCIW/notes/3 - Beacons.md",
     "Concurrent Systems/notes/1 - CS Basics2.md",
diff --git a/Concurrent Systems/notes/4c - Dining Philosophers.md b/Concurrent Systems/notes/4c - Dining Philosophers.md
index 9e11dae..c443b46 100644
--- a/Concurrent Systems/notes/4c - Dining Philosophers.md	
+++ b/Concurrent Systems/notes/4c - Dining Philosophers.md	
@@ -20,7 +20,7 @@ Philosopher(i) :=
 		chopstick[(i+1)%N].up()
 		chopstick[i].up()
 ```
-No two neighbors can eat simultaneously, but we can have a deadlock if all philosophers grab their right chopstick simultaneously.
+No two neighbours can eat simultaneously, but we can have a deadlock if all philosophers grab their right chopstick simultaneously.
 
 #### Solution 1
 Give a number to all forks and always try with the smaller.