diff --git a/source/DefaultSituationSpace.mmt b/source/DefaultSituationSpace.mmt
index b6b42f4d2a57fb1ac28b65a215ef643ca1294aca..232c666737b723f76d9ad5d1f412b59c1d9ce045 100644
--- a/source/DefaultSituationSpace.mmt
+++ b/source/DefaultSituationSpace.mmt
@@ -30,7 +30,6 @@ theory DefaultSituationSpace =
         include ?TriangleScroll ❙
         include ?PrismScroll ❙
         include ?PyramidScroll ❙
-        include ?SimpleCircleScroll ❙
         include ?SphereScroll ❙
         include ?CylinderScroll ❙
     ❚
diff --git a/source/Scrolls/SimpleCircleScroll.mmt b/source/Scrolls/SimpleCircleScroll.mmt
deleted file mode 100644
index c447f0d03b4a0d090d43d8a1925e0312d24a1b79..0000000000000000000000000000000000000000
--- a/source/Scrolls/SimpleCircleScroll.mmt
+++ /dev/null
@@ -1,40 +0,0 @@
-namespace http://mathhub.info/FrameIT/frameworld ❚
-fixmeta ?FrameworldMeta ❚
-
-
-theory SimpleCircleScroll =
-    meta ?MetaAnnotations?problemTheory  ?SimpleCircleScroll/Problem ❙
-    meta ?MetaAnnotations?solutionTheory ?SimpleCircleScroll/Solution ❙
-
-    theory Problem =
-        
-        M: point
-         ❘ meta ?MetaAnnotations?label "M"
-         ❘ meta ?MetaAnnotations?description "The midpoint of the circle"
-        ❙
-        A: point
-         ❘ meta ?MetaAnnotations?label "A"
-         ❘ meta ?MetaAnnotations?description "The edge point of the circle"
-        ❙
-        B: point
-         ❘ meta ?MetaAnnotations?label "T"
-         ❘ meta ?MetaAnnotations?description "A point on the plane of the circle"
-        ❙
-
-
-
-
-        
-    ❚
-    theory Solution =
-        include ?SimpleCircleScroll/Problem ❙
-        meta ?MetaAnnotations?label "Circle" ❙
-        meta ?MetaAnnotations?description s"Takes a midpoint, a point on the edge of the circle and a point on the plane of it to construct a circle" ❙
-        
-        ConstructedCircle : Circle
-                ❘ = ( CircleCons M A B )
-                ❘ meta ?MetaAnnotations?label s"Circle"
-                ❘ meta ?MetaAnnotations?description s"The constructed circle"
-        ❙
-    ❚
-❚
\ No newline at end of file