diff --git a/DOC/Add_scroll_to_unity.md b/DOC/Add_scroll_to_unity.md
index 7a31ae229f93774e448a24cfc64e3e9845e93178..ef75a1c6ac3585951533284e8ee12efcb6b27908 100644
--- a/DOC/Add_scroll_to_unity.md
+++ b/DOC/Add_scroll_to_unity.md
@@ -16,4 +16,23 @@ if Class "GlobalBehaviour" ("UFrameIT\Assets\Scripts\GlobalBehaviour.cs") Method
 
 2. Open: "http://localhost:8085/scroll/list" and copy all the text.
 
-3. Now paste this into: "UFrameIT\Assets\StreamingAssets\scrolls.json" and start the game.
\ No newline at end of file
+3. Now paste this into: "UFrameIT\Assets\StreamingAssets\scrolls.json" and start the game.
+
+Additional:
+If you want to create a new theory you have to include it in the "theory FrameWorldMeta" in:    \archives\MathHub\FrameIT\frameworld\source\MetaTheories.mmt,
+which is at the bottom of the file.
+This ensures your theory is is in the global namespace.
+Then if you want to create a theory with a specific type:
+you have to specify this at the top:
+
+namespace http://mathhub.info/FrameIT/frameworld ❚
+fixmeta ur:?LF ❚
+
+
+and in you theory do:
+
+include ?FrameITBasics ❙
+at the start
+
+
+## If something fails, restart vscode and try building again. This fixes alot of errors
\ No newline at end of file
diff --git a/DOC/create_fact.md b/DOC/create_fact.md
index 121d8ab38addcc3453f9f02178d1a286846cd7ac..d5f92a493b0e473355a68f1871c25a302466f345 100644
--- a/DOC/create_fact.md
+++ b/DOC/create_fact.md
@@ -58,22 +58,3 @@
     4. In Hirarchy select WorldCursor and add your Fact Prefab into the Inspector.
     5. Alternative to 6.2 & 6.3: in hirarchy search: "ref:Assets/Scripts/InteractionEngine/FactHandling/FactSpawner.cs"
 
-
-Additional:
-
-If you want to create a new theory you have to include it in the "theory FrameWorldMeta" in:    \archives\MathHub\FrameIT\frameworld\source\MetaTheories.mmt,
-which is at the bottom of the file.
-
-This ensures your theory is is in the global namespace.
-
-Then if you want to create a theory with a specific type: 
-
-you have to specify this at the top:
-
-    namespace http://mathhub.info/FrameIT/frameworld ❚
-    fixmeta ur:?LF ❚
-
-and in you theory do:
-
-    include ?FrameITBasics ❙
-    at the start
\ No newline at end of file