Thm* array_append_wf

Thm* array_shift_wf

Thm* array_seg_wf

Thm* array_el_wfp

Thm* p_array_properties

Thm* p_array_wf

In prior sections: int 1