add 'forall' test