rename
Work on proving correcting of make_array, but stuck