diff --git a/lib/relational_semantic_interpreter.ml b/lib/relational_semantic_interpreter.ml
index ddb74e1..6ab270d 100644
--- a/lib/relational_semantic_interpreter.ml
+++ b/lib/relational_semantic_interpreter.ml
@@ -1,5 +1,3 @@
-(* (,,) -< Pair.inj _ (Pair.inj _ _) *)
-
 module Relational =
 struct
   open GT
diff --git a/lib/semantic_interpreter.ml b/lib/semantic_interpreter.ml
index 761c413..e0a9c1e 100644
--- a/lib/semantic_interpreter.ml
+++ b/lib/semantic_interpreter.ml
@@ -1,5 +1,3 @@
-(* (,,) -< Pair.inj _ (Pair.inj _ _) *)
-
 module Functional =
 struct