1 files changed, 2 insertions, 4 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs
index dc76a10..b710ac3 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -442,11 +442,9 @@ impl CheckerState {
             Instance::Var(canonical.clone()).into(),
             signature.clone(),
         )?;
-        // And lo, the special case:
-        // TODO: is this correct in the presence of de bruijn?
+        // And lo, the special case, our chosen canonical form
         if signature == Signature::Set {
-            self.add_set(canonical.clone(), SetValue::Hypothetical)?;
-            self.add_set(name, Set::Var(canonical).into())?;
+            self.add_set(name, Set::ClaimedSet(Instance::Var(canonical)).into())?;
         }
 
         self.binder_instance += 1;