diff --git a/src/main/jastadd/hanoi/Constraint.relast b/src/main/jastadd/hanoi/Constraint.relast
index 1714c373bcf0e37246c76532aafa792bd143ba1c..be33a462bc5d9d1672365e7aef35fb5cb192acf7 100644
--- a/src/main/jastadd/hanoi/Constraint.relast
+++ b/src/main/jastadd/hanoi/Constraint.relast
@@ -3,13 +3,12 @@ abstract Term;
 abstract Connective;
 Atom:Connective ::= Relation;
 abstract Relation;
-abstract UnaryRelation:Relation ::= Term;
+
 abstract BinaryRelation:Relation ::= Left:Term Right:Term;
 Subsetof:BinaryRelation;
 Compare:BinaryRelation;
 Equal:BinaryRelation;
-SelfEq:UnaryRelation;
-SelfComp:UnaryRelation;
+
 abstract UnaryConnective:Connective ::= Connective;
 abstract BinaryConnective:Connective ::= Left:Connective Right:Connective;
 Conjunction:BinaryConnective;
@@ -24,4 +23,4 @@ rel PillarTerm.Rel -> Pillar;
 
 Term1:PillarTerm;//return size of top disk, return -1 when no disk.
 Term2:PillarTerm;//return the target pillar's ID for the current pillar in odd turns.
-Term3:PillarTerm;//return the ID for the current pillar.
\ No newline at end of file
+Term3:PillarTerm;//return the ID for the current pillar.