diff --git a/ArrayList/src/List.java b/ArrayList/src/List.java
index f30fa12..b84d8ee 100644
--- a/ArrayList/src/List.java
+++ b/ArrayList/src/List.java
@@ -5,7 +5,6 @@ public interface List {
 
     //@ public instance invariant \subset(\singleton(this.seq), footprint);
     //@ public instance invariant \subset(\singleton(this.footprint), footprint);
-    // @ public instance invariant (\forall int i; 0<=i && i<seq.length; \typeof(seq[i]) == \type(int));
     //@ public accessible \inv: footprint;
     
     /*@ public normal_behaviour