diff --git a/packages/imhotep-solver/src/predicates.ts b/packages/imhotep-solver/src/predicates.ts
index 7eb51bb..c837068 100644
--- a/packages/imhotep-solver/src/predicates.ts
+++ b/packages/imhotep-solver/src/predicates.ts
@@ -988,32 +988,6 @@ export const withinPredicate: PredicateEvaluator = {
   },
 };
 
-// ---------------------------------------------------------------------------
-// Not-Yet-Implemented Predicates
-// ---------------------------------------------------------------------------
-
-function makeNotImplementedPredicate(name: string): PredicateEvaluator {
-  return {
-    descriptor: {
-      name,
-      arity: 2,
-      domains: ['element', 'element'],
-      requiredFacts: ['subject.primaryBox', 'reference.primaryBox'],
-    },
-    evaluateTuple(_world, tuple) {
-      const subjectId = tuple[0];
-      const referenceId = tuple[1];
-      return makePredicateResult('false', {}, [subjectId, referenceId].filter((id): id is number => id !== undefined), [
-        {
-          code: 'IMH_FEATURE_NOT_YET_IMPLEMENTED',
-          severity: 'error',
-          message: `Predicate "${name}" is not yet implemented.`,
-        },
-      ]);
-    },
-  };
-}
-
 export const separatedFromPredicate: PredicateEvaluator = {
   descriptor: BUILTIN_PREDICATES[18]!,
   evaluateTuple(world, tuple, options) {