More verifications on arrays