starting to turn static arrays into dynamic array lists for induction purposes
changing static arrays to array list for induction proof purposes