diff --git a/AGREE-Toy-Example/packages/Integer_Toy.aadl b/AGREE-Toy-Example/packages/Integer_Toy.aadl
index 8675be6..15e1fc8 100644
--- a/AGREE-Toy-Example/packages/Integer_Toy.aadl
+++ b/AGREE-Toy-Example/packages/Integer_Toy.aadl
@@ -48,7 +48,7 @@ system top_level
 	  eq mode : int;
 		assume T1 "System input range " : Input < 10;
 		guarantee T2 "mode is always positive" : mode >= 0;
-		guarantee T3 "System output range" : Output < 50;
+		guarantee T3 "System output range" : Output < 0;
 	**};	
 end top_level;