FORALL quantifier should work now
FORALL quantifier should work now
Starting rule-effect code