Forall with multiple parameters