Theory++-++Using+Arrays