forall array
forall array exs