diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/Example06_UnreliableChannel_AssertionChecking.mp
index 0025352f8d0e8203ad8579f60810f9fbfd85d15b..1aa1055d98e0f94cd51cab03e91330afe1b6e932 100644
--- a/Example06_UnreliableChannel_AssertionChecking.mp
+++ b/Example06_UnreliableChannel_AssertionChecking.mp
@@ -34,6 +34,9 @@ Search terms: unreliable channel; communication; assertion checking
     into the ENSURE condition.
 
 	Instructions: Run for Scopes 1 and up.
+		Scope 1: 4 traces in less than 1 sec.
+		Scope 2: 13 traces in less than 1 sec.
+		Scope 3: 40 traces in less than 1 sec.
 
 ==========================================================*/