Re: [rules-users] Stumped on forall usage