From 291e8a045af2357426526d5412b6403b2ad150a1 Mon Sep 17 00:00:00 2001
From: Robin <robin@robin.town>
Date: Wed, 22 May 2024 12:04:25 -0400
Subject: [PATCH] Remind myself what predicate abstraction still gets wrong

---
 src/semantics/compose.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/semantics/compose.ts b/src/semantics/compose.ts
index b4cfde5..0141a1c 100644
--- a/src/semantics/compose.ts
+++ b/src/semantics/compose.ts
@@ -346,7 +346,7 @@ const predicateAbstraction: CompositionRule = (branch, left, right) => {
 			// binding information than the left's hoisted sub-tree.
 			// TODO: I think this still doesn't get us quite the right behavior if
 			// something in between the binding site and the bound structure shadows the
-			// binding.
+			// binding. For example, in "Do sá raı sá raı sá raq lô raı".
 			[r, l, bindings] = unifyDenotations(skmRight, left);
 			index = bindings.index.get(left.binding)!.index;
 		}