Dear Mark, I have a question concerning rule execution algorithm in JBoss 4.0.1. There are 2 rule sets, one runs in a circle and another one stops. The first one, which stops: *rule* "r1" *when* $num1:Integer(intValue == 1) *then* *insert*(*new* Integer(2)); *end* *rule* "r2" *when* $num1:Integer(intValue == 2) *then* *insert*(*new* Integer(3)); *end* *rule* "r3" *when* $num1:Integer(intValue == 2) *then* *insert*(*new* Integer(4)); *end* *rule* "r4" *when* $num1:Integer(intValue == 3) $num2:Integer(intValue == 4) *then* *retract*($num2); *end* * * The second one, which runs in a circle, is different from the one above by the additional condition in r3: *not* $num2:Integer(intValue == 4) I would expect the same behavior of these two rule sets, but it is different. Could you, please, comment, why this is so? Sincerely, Sergey Lukichev Research Assistant, REWERSE I1, rule modeling and markup