1. Write the function reverse at the client level that reverses the order of the data items in the list. 2. Use the axioms for the ADT list, as given in “Axioms”, to prove that the sequence of...

1. Write the function reverse at the client level that reverses the order of the data items in the list.

2. Use the axioms for the ADT list, as given in “Axioms”, to prove that the sequence of operations

Insert A into position 2

Insert B into position 2

Insert C into position 2

has the same effect on a nonempty list of characters as the sequence

Insert C into position 2

Insert B into position 3

Insert A into position 4