diff --git a/source/Scrolls/CuboidScroll.mmt b/source/Scrolls/CuboidScroll.mmt
index 197e53a4b61ad259eab3ace4fec772287ebead48..3a10efafe3ba5962ca8d354f10d7b6cf2a69a6e5 100644
--- a/source/Scrolls/CuboidScroll.mmt
+++ b/source/Scrolls/CuboidScroll.mmt
@@ -13,11 +13,11 @@ theory CuboidScroll =
 
         R: Rectangle
          ❘ meta ?MetaAnnotations?label "R"
-         ❘ meta ?MetaAnnotations?description "The given rectangle"
+         ❘ meta ?MetaAnnotations?description "The rectangle that acts as the foundation."
         ❙
         T: point
          ❘ meta ?MetaAnnotations?label "T"
-         ❘ meta ?MetaAnnotations?description "The point above the centerpoint of the rectangle"
+         ❘ meta ?MetaAnnotations?description "The point above the centerpoint of the right angle formed by the rectangle."
         ❙
 
 
@@ -27,7 +27,7 @@ theory CuboidScroll =
         include ?CuboidScroll/Problem ❙
         meta ?MetaAnnotations?label "Cuboid" ❙
         meta ?MetaAnnotations?description s"Given a rectangle and a top point that lies above the point in the center of the right-angle formed by the squarepoints
-                                            this scroll constructs a cuboid. Additionally you need a proof that there are two right angles between TBC and TBA" ❙
+                                            this scroll constructs a cuboid." ❙
         ConstructedCuboid : Cuboid
                 ❘ = ( CuboidCons R T )
                 ❘ meta ?MetaAnnotations?label s"Cuboid"
diff --git a/source/Scrolls/PrismScroll.mmt b/source/Scrolls/PrismScroll.mmt
index 3090df6df7dc4b009d3943c8529362c41695277a..f16c4e68353add9387ec77ab4ebaa42ff8c1f84e 100644
--- a/source/Scrolls/PrismScroll.mmt
+++ b/source/Scrolls/PrismScroll.mmt
@@ -8,31 +8,20 @@ theory PrismScroll =
     theory Problem =
         T: triangle
             ❘ meta ?MetaAnnotations?label "T"
-            ❘ meta ?MetaAnnotations?description "Triangle"
+            ❘ meta ?MetaAnnotations?description "The triangle that forms the foundation."
         ❙
         D: point
             ❘ meta ?MetaAnnotations?label "D"
-            ❘ meta ?MetaAnnotations?description "Point D"
-        ❙
-        // dAB: Σ x:ℝ . ⊦ (d- (triangle_point1 T) D) ≐ x
-         ❘ meta ?MetaAnnotations?label s"d${lverb (triangle_point1 T) D}"
-         ❘ meta ?MetaAnnotations?description s"The distance from point ${lverb (triangle_point1 T)} to point ${lverb D}"
-        ❙
-        // rDAB: ⊦ (angle_between D (triangle_point1 T) (triangle_point2 T)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label s"r${lverb D}"
-         ❘ meta ?MetaAnnotations?description s"A right angle between ${lverb D,(triangle_point1 T),(triangle_point2 T)}, where ${lverb D} is the point enclosed by ${lverb (triangle_point1 T)} and ${lverb (triangle_point1 T)}"
-        ❙
-        // rDAC: ⊦ (angle_between D (triangle_point1 T) (triangle_point3 T)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label s"r${lverb D}"
-         ❘ meta ?MetaAnnotations?description s"A right angle between ${lverb D,(triangle_point1 T),(triangle_point3 T)}, where ${lverb D} is the point enclosed by ${lverb (triangle_point1 T)} and ${lverb (triangle_point3 T)}"
+            ❘ meta ?MetaAnnotations?description "Point above one of the edgepoints of the triangle."
         ❙
+        
     ❚
 
     theory Solution =
         include ?PrismScroll/Problem ❙
 
         meta ?MetaAnnotations?label "Prism" ❙
-        meta ?MetaAnnotations?description "Scrolls that takes three points and constructs a Prism." ❙
+        meta ?MetaAnnotations?description "Scrolls that takes a triangle and a point to construct a Prism." ❙
 
         ConstructedPrism : prismType
                 ❘ = (prismCons T D)
diff --git a/source/Scrolls/PyramidScroll.mmt b/source/Scrolls/PyramidScroll.mmt
index c486a6880ac0d1b5ec93182478beb4c6b574cd79..8a70e7877b3fc9238016d7166af73d72db8a519c 100644
--- a/source/Scrolls/PyramidScroll.mmt
+++ b/source/Scrolls/PyramidScroll.mmt
@@ -8,11 +8,11 @@ theory PyramidScroll =
     theory Problem =
         R: Rectangle
             ❘ meta ?MetaAnnotations?label "R"
-            ❘ meta ?MetaAnnotations?description "Rectangle"
+            ❘ meta ?MetaAnnotations?description "The rectangle that forms the foundation."
         ❙
         D: point
             ❘ meta ?MetaAnnotations?label "D"
-            ❘ meta ?MetaAnnotations?description "Point D"
+            ❘ meta ?MetaAnnotations?description "Point above the rectangle."
         ❙
     ❚
 
@@ -20,7 +20,7 @@ theory PyramidScroll =
         include ?PyramidScroll/Problem ❙
 
         meta ?MetaAnnotations?label "Pyramid" ❙
-        meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a points and constructs a Pyramid." ❙
+        meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a point to construct a Pyramid." ❙
 
         ConstructedPyramid : Pyramid
                 ❘ = (PyramidCons R D)
diff --git a/source/Scrolls/RectangleScroll.mmt b/source/Scrolls/RectangleScroll.mmt
index 0ee28694f945852a685e39540458df087f354641..ff7a45db1885f48e83ef128849521f9e7f4dbfd4 100644
--- a/source/Scrolls/RectangleScroll.mmt
+++ b/source/Scrolls/RectangleScroll.mmt
@@ -12,15 +12,15 @@ theory RectangleScroll =
     theory Problem =
         A: point
          ❘ meta ?MetaAnnotations?label "A"
-         ❘ meta ?MetaAnnotations?description "The first point"
+         ❘ meta ?MetaAnnotations?description "The first edge point"
         ❙
         B: point
          ❘ meta ?MetaAnnotations?label "B"
-         ❘ meta ?MetaAnnotations?description "The second point"
+         ❘ meta ?MetaAnnotations?description "The second edge point"
         ❙
         C: point
          ❘ meta ?MetaAnnotations?label "C"
-         ❘ meta ?MetaAnnotations?description "The third point"
+         ❘ meta ?MetaAnnotations?description "The third  edge point"
         ❙
 
         rABC: ⊦ (∠ A,B,C) ≐ 90.0
@@ -44,8 +44,8 @@ theory RectangleScroll =
     theory Solution =
         include ?RectangleScroll/Problem ❙
         meta ?MetaAnnotations?label "Rectangle" ❙
-        meta ?MetaAnnotations?description s"Scrolls that takes three points and given a right-angle fact between those points
-                                            and the distances from the first to the second and the second to the third point, constructs a rectangle." ❙
+        meta ?MetaAnnotations?description s"Scrolls that takes three points, and given a right-angle fact from the first over the second to the third point,
+                                            and the distances from the first to the second, and the second to the third point, constructs a rectangle." ❙
         ConstructedRectangle : Rectangle
                 ❘ = (RectangleCons A B C)
                 ❘ meta ?MetaAnnotations?label s"Rectangle"
diff --git a/source/Scrolls/RectangleType.mmt b/source/Scrolls/RectangleType.mmt
deleted file mode 100644
index 3986b057a0bc58012fedd235cdcf52223ed4a329..0000000000000000000000000000000000000000
--- a/source/Scrolls/RectangleType.mmt
+++ /dev/null
@@ -1,12 +0,0 @@
-namespace http://mathhub.info/FrameIT/frameworld ❚
-fixmeta ?FrameworldMeta ❚
-
-theory RectangleType =
-  
-  include ☞http://mathhub.info/MitM/core/geometry?3DGeometry ❙
-  include ?FrameITBasics ❙
-
-  rectangleType : type ❘ # Rectangle ❙
-  rectangleCons : point ⟶ point ⟶ point  ⟶ Rectangle  ❘ # RectangleCons 1 2 3 ❙
-  
-❚
\ No newline at end of file
diff --git a/source/Scrolls/TriangleScroll.mmt b/source/Scrolls/TriangleScroll.mmt
index 78d0e6aad2ed4201ed74e32401b49a460ae25ea8..c4d9c9ae06d021678a2c302d0956951abef3be7b 100644
--- a/source/Scrolls/TriangleScroll.mmt
+++ b/source/Scrolls/TriangleScroll.mmt
@@ -8,19 +8,19 @@ theory TriangleScroll =
     theory Problem =
         A: point
             ❘ meta ?MetaAnnotations?label "A"
-            ❘ meta ?MetaAnnotations?description "The first point"
+            ❘ meta ?MetaAnnotations?description "The first edge point"
         ❙
         B: point
             ❘ meta ?MetaAnnotations?label "B"
-            ❘ meta ?MetaAnnotations?description "The second point"
+            ❘ meta ?MetaAnnotations?description "The second edge point"
         ❙
         C: point
             ❘ meta ?MetaAnnotations?label "C"
-            ❘ meta ?MetaAnnotations?description "The third point"
+            ❘ meta ?MetaAnnotations?description "The third edge point"
         ❙
         D: point
             ❘ meta ?MetaAnnotations?label "D"
-            ❘ meta ?MetaAnnotations?description "The fourth point"
+            ❘ meta ?MetaAnnotations?description "The fourth edge point"
         ❙
         dAB: Σ x:ℝ . ⊦ (d- A B) ≐ x
          ❘ meta ?MetaAnnotations?label s"d${lverb A B}"