forall-array -v1