diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java
index 8c7f368..e959d5e 100644
--- a/src/test/java/UnifyTest.java
+++ b/src/test/java/UnifyTest.java
@@ -31,7 +31,6 @@ public class UnifyTest {
 
     @Test
     public void matrix2k(){
-
         //und-constraints
         //T =. BC
         //java.lang.Boolean =. G
@@ -60,9 +59,11 @@ public class UnifyTest {
         //set #1
         //Matrix <. Matrix
         //set #2
-        //F =. java.lang.Float ;
-        // F =. java.lang.Integer
+        //F =. java.lang.Float
+        //F =. java.lang.Integer
         //set #3
+        //H =. ? extends Matrix
+        //java.lang.Integer =. J
         //H =. Vector<ALB>
         //java.lang.Integer =. J
         //H =. Matrix
@@ -155,45 +156,6 @@ public class UnifyTest {
         //AJ <. java.lang.Integer
         //AR <. java.lang.Integer
 
-        //java.lang.Float =. AT
-        //AR <. java.lang.Float
-        //AJ <. java.lang.Float
-
-        //set #15
-        //java.lang.Float =. AU
-        //AT <. java.lang.Float
-        //Z <. java.lang.Float
-        //java.lang.Integer =. AU
-        //Z <. java.lang.Integer
-        //AT <. java.lang.Integer
-
-        //set #16
-        //Z <. ANP
-        //R =. ? extends Vector<ANP>
-        //java.lang.Boolean =. BA
-        //R =. ? extends Matrix
-        //Z <. Vector<java.lang.Integer>
-        //java.lang.Boolean =. BA
-        //Z <. ANP
-        //R =. Vector<ANP>
-        //java.lang.Boolean =. BA
-        //Z <. Vector<java.lang.Integer>
-        //java.lang.Boolean =. BA
-        //R =. Matrix
-
-        //set #17
-        //R <. Vector<java.lang.Integer>
-        //C =. ? extends Matrix
-        //java.lang.Boolean =. BH
-        //java.lang.Boolean =. BH
-        //R <. ANQ
-        //C =. Vector<ANQ>
-        //R <. Vector<java.lang.Integer>
-        //java.lang.Boolean =. BH
-        //C =. Matrix
-        //java.lang.Boolean =. BH
-        //C =. ? extends Vector<ANQ>
-        //R <. ANQ
 
     }