diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 73007b8..a5cb448 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -25,7 +25,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 5.md",
+                "file": "4a1s/MFES/T - Aula 2.md",
                 "mode": "source",
                 "source": false
               }
@@ -98,7 +98,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 5.md",
+                "file": "4a1s/MFES/T - Aula 2.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -115,7 +115,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 5.md",
+                "file": "4a1s/MFES/T - Aula 2.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -138,7 +138,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 5.md"
+                "file": "4a1s/MFES/T - Aula 2.md"
               }
             }
           },
@@ -173,11 +173,14 @@
   },
   "active": "6a363953132aebe7",
   "lastOpenFiles": [
-    "4a1s/MFES/PL - Aula 4.md",
     "4a1s/MFES/PL - Aula 5.md",
+    "4a1s/MFES/PL - Aula 3.md",
+    "4a1s/MFES/PL - Aula 2.md",
+    "4a1s/MFES/PL - Aula 4.md",
+    "4a1s/MFES/PL - Aula 1.md",
+    "4a1s/MFES/T - Aula 2.md",
     "4a1s/RAS/Notas Projeto RAS.md",
     "4a1s/CP/PL - Aula 4.md",
-    "4a1s/MFES/T - Aula 2.md",
     "4a1s/CP/Projeto Fase 1.md",
     "4a1s/CP/PL - Aula 6.md",
     "My Digital Garden.md",
@@ -207,9 +210,6 @@
     "4a1s/RAS/Projeto.md",
     "4a1s/index.md",
     "4a1s/RAS/PL - Aula 1.md",
-    "4a1s/MFES/PL - Aula 3.md",
-    "Excalidraw/Drawing 2023-10-04 09.18.24.excalidraw.md",
-    "Excalidraw/Drawing 2023-10-04 09.18.23.excalidraw.md",
     "4a1s/ESR",
     "Private-Project",
     "4a1s/Excalidraw/RAS",
diff --git a/4a1s/MFES/PL - Aula 1.md b/4a1s/MFES/PL - Aula 1.md
index 328c4a7..8d66300 100644
--- a/4a1s/MFES/PL - Aula 1.md	
+++ b/4a1s/MFES/PL - Aula 1.md	
@@ -9,7 +9,6 @@ dg-publish: true
 > As resoluções dos exercícios aqui contidos podem conter erros. Se detetares um problema (e se o souberes resolver) por favor contacta-nos.
 
 
-
 > [!help]+ Ex 1 (Configuração de produtos)
 > Certos produtos, como é o caso dos automóveis, são altamente personalizáveis, mas podem haver dependências entre as configurações. Os clientes podem não estar cientes de todas essas dependências, e poderão escolher opções de configuração inconsistentes.
 > Como são muitas configurações e muitas dependências, podemos usar um SAT solver para verificar se o cliente escolhe opções de configuração consistentes. Para isso, podemos seguir os seguintes passos: