diff --git a/source/Scrolls/CuboidScroll.mmt b/source/Scrolls/CuboidScroll.mmt
index c54adba2fef3a7c4031ad35ba6d311c82d2a2436..645630d0c6bcbe7eefcbb15efea4149ebd59ea05 100644
--- a/source/Scrolls/CuboidScroll.mmt
+++ b/source/Scrolls/CuboidScroll.mmt
@@ -10,6 +10,7 @@ theory CuboidScroll =
     meta ?MetaAnnotations?problemTheory  ?CuboidScroll/Problem ❙
     meta ?MetaAnnotations?solutionTheory ?CuboidScroll/Solution ❙
     theory Problem =
+
         R: Rectangle
          ❘ meta ?MetaAnnotations?label "R"
          ❘ meta ?MetaAnnotations?description "The given rectangle"
@@ -19,20 +20,6 @@ theory CuboidScroll =
          ❘ meta ?MetaAnnotations?description "The point above the centerpoint of the rectangle"
         ❙
 
-        rTBA: ⊦ (∠ T,(R _getB),(R _getA)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label "rTBA"
-         ❘ meta ?MetaAnnotations?description "A right angle between TBA, where B is the point enclosed by T and A"
-        ❙
-
-        rTBC: ⊦ (∠ T,(R _getB),(R _getC)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label "rTBC"
-         ❘ meta ?MetaAnnotations?description "A right angle between TBC, where B is the point enclosed by T and C"
-        ❙
-
-
-
-
-    ❙
         
     ❚
     theory Solution =
@@ -41,7 +28,7 @@ theory CuboidScroll =
         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" ❙
         ConstructedCuboid : Cuboid
-                ❘ = CuboidCons R T
+                ❘ = ( CuboidCons R T )
                 ❘ meta ?MetaAnnotations?label s"Cuboid"
                 ❘ meta ?MetaAnnotations?description s"The constructed Cuboid."
         ❙
diff --git a/source/Scrolls/CuboidType.mmt b/source/Scrolls/CuboidType.mmt
index eec43f5e315c150517df636b5ae09095347d34a8..8f5f066b1b4adfe4a7fb0ba31a330a2fdff36639 100644
--- a/source/Scrolls/CuboidType.mmt
+++ b/source/Scrolls/CuboidType.mmt
@@ -2,11 +2,10 @@ namespace http://mathhub.info/FrameIT/frameworld ❚
 fixmeta ur:?LF ❚
 
 theory CuboidType =
-  
-  include ☞http://mathhub.info/MitM/core/geometry?3DGeometry ❙
-  include ?FrameITBasics ❙
+    include ☞http://mathhub.info/MitM/core/geometry?3DGeometry ❙
+    include ?FrameITBasics ❙
+    include ?RectangleType ❙
 
-  cuboidType : type ❘ # Cuboid ❙
-  cuboidCons : Rectangle ⟶ point  ⟶ Cuboid  ❘ # CuboidCons 1 2 ❙
-  
+    cuboidType : type ❘ # Cuboid ❙
+    cuboidCons : Rectangle ⟶ point ⟶ Cuboid ❘ # CuboidCons 1 2 ❙
 ❚
\ No newline at end of file
diff --git a/source/Scrolls/RectangleScroll.mmt b/source/Scrolls/RectangleScroll.mmt
index 06e2ce1926df304c2534362257c09f801110a0bf..d26f55b3717a62e981f7f47a2b4ce28a6b3fee4b 100644
--- a/source/Scrolls/RectangleScroll.mmt
+++ b/source/Scrolls/RectangleScroll.mmt
@@ -39,7 +39,6 @@ theory RectangleScroll =
         ❙
 
 
-    ❙
         
     ❚
     theory Solution =
diff --git a/source/Scrolls/RectangleType.mmt b/source/Scrolls/RectangleType.mmt
index cf15cc6c6c67ddc69a33218a7e836988f43ee918..becda192f0d2696b0fbe4e58a92ff614965f611f 100644
--- a/source/Scrolls/RectangleType.mmt
+++ b/source/Scrolls/RectangleType.mmt
@@ -9,11 +9,4 @@ theory RectangleType =
   rectangleType : type ❘ # Rectangle ❙
   rectangleCons : point ⟶ point ⟶ point  ⟶ Rectangle  ❘ # RectangleCons 1 2 3 ❙
   
-  getA : Rectangle ⟶ point ❘ # 1 _getA ❙
-  getB : Rectangle ⟶ point ❘ # 1 _getB ❙
-  getC : Rectangle ⟶ point ❘ # 1 _getC ❙
-
-  axiomgetA : {R: Rectangle} ⊦ (RectangleCons A B C) ≐ A ❙
-  axiomgetB : {R: Rectangle} ⊦ (RectangleCons A B C) ≐ B ❙
-  axiomgetC : {R: Rectangle} ⊦ (RectangleCons A B C) ≐ C ❙
 ❚
\ No newline at end of file