diff --git a/data/penrose/set.domain b/data/penrose/set.domain
index c89fc96..1318ae7 100644
--- a/data/penrose/set.domain
+++ b/data/penrose/set.domain
@@ -2,4 +2,3 @@ type Set
 
 predicate SubSet(Set s1, Set s2)
 predicate Disjoint(Set s1, Set s2)
-predicate Union(Set s1, Set s2)
diff --git a/data/penrose/set.style b/data/penrose/set.style
index d52e988..ac6c379 100644
--- a/data/penrose/set.style
+++ b/data/penrose/set.style
@@ -3,29 +3,8 @@ canvas {
     height = 500
 }
 
-forall Set A; Set B
-where SubSet(A, B) {
-    ensure disjoint(B.text, A.icon, 10.0)
-    ensure contains(A.icon, B.icon, 5.0)
-    layer A.icon above B.icon
-}
-
-forall Set A; Set B
-where Disjoint(A, B) {
-    ensure disjoint(A.icon, B.icon)
-}
-
-forall Set A; Set B
-where Union(A,B) {
-    ensure overlapping(A.icon, B.icon)
-    ensure disjoint(A.text, B.icon)
-    ensure disjoint(B.text, A.icon)
-}
-
 forall Set x {
-    shape x.icon = Circle {
-        strokeWidth : 0.0
-    }
+    shape x.icon = Circle {}
     shape x.text = Equation {
         string : x.label
         fontSize : "32px"
@@ -33,5 +12,16 @@ forall Set x {
     ensure contains(x.icon, x.text)
     encourage norm(x.text.center - x.icon.center) == 0
     layer x.text above x.icon
-    ensure x.icon.r > 25.0
+}
+
+forall Set x; Set y
+where SubSet(x, y) {
+    ensure disjoint(y.text, x.icon, 10.0)
+    ensure contains(y.icon, x.icon, 5.0)
+    layer x.icon above y.icon
+}
+
+forall Set x; Set y
+where Disjoint(x, y) {
+    ensure disjoint(x.icon, y.icon)
 }