Re: [rules-users] issue with 'forall'