diff --git a/app-proto/src/assembly.rs b/app-proto/src/assembly.rs
index 01dee9d..002b420 100644
--- a/app-proto/src/assembly.rs
+++ b/app-proto/src/assembly.rs
@@ -269,7 +269,7 @@ impl Assembly {
             console::log_1(&JsValue::from(
                 format!("Updated constraint with subjects ({}, {})", subjects.0, subjects.1)
             ));
-            if set_point.with(|set_pt| set_pt.is_present()) {
+            if set_point.with(|set_pt| matches!(set_pt, Present { .. })) {
                 self.realize();
             }
         });
diff --git a/app-proto/src/specified.rs b/app-proto/src/specified.rs
index ea873e9..a943f2b 100644
--- a/app-proto/src/specified.rs
+++ b/app-proto/src/specified.rs
@@ -26,13 +26,6 @@ impl SpecifiedValue {
             Present { spec, .. } => spec.clone()
         }
     }
-    
-    pub fn is_present(&self) -> bool {
-        match self {
-            Absent => false,
-            Present { .. } => true
-        }
-    }
 }
 
 // we can try to turn a specification string into a `SpecifiedValue`. if the