diff --git a/src/lib/guesser/reducing.ts b/src/lib/guesser/reducing.ts
index 2ef6117..0fdce95 100644
--- a/src/lib/guesser/reducing.ts
+++ b/src/lib/guesser/reducing.ts
@@ -41,6 +41,12 @@ export class ReducingGuesser implements Guessing {
 		}
 		this.candidates = new Set(next_cnd.keys());
 	}
+
+	restraint_candidates(constraints: [string, Info][]) {
+		const new_cand = new Set<string>();
+		for (const cand of this.candidates.values()) if (matches_constraints(cand, constraints)) new_cand.add(cand);
+		return new_cand;
+	}
 }
 
 function filter_map<K, T>(
@@ -150,3 +156,8 @@ Deno.test("test_smallest_cuts", () => {
 	);
 	assertEquals(best, "ba");
 });
+
+function matches_constraints(cand: string, constraints: [string, Info][]) {
+	// TODO
+	return false;
+}