diff --git a/Example04b_QueueBehavior_UserDefinedRelations.mp b/Example04b_QueueBehavior_UserDefinedRelations.mp
index 0978515918e652e986bbdc339ac7f4acd6c67446..fd3bf637d08719c504bfcf3a692b876c691c8b30 100644
--- a/Example04b_QueueBehavior_UserDefinedRelations.mp
+++ b/Example04b_QueueBehavior_UserDefinedRelations.mp
@@ -31,6 +31,9 @@ example of combining imperative (event grammar) and declarative
 (Boolean expressions) constructs for behavior specification.
 
 Instructions: Run for Scopes 1 and up.
+	Scope 1: 2 traces in less than 1 sec.
+	Scope 2: 4 traces in less than 1 sec.
+	Scope 3: 7 traces in less than 1 sec.
 
 ==========================================================*/