What is required for Assignment 4.1 is a table of contents lisiting in order the implications that are proved one per page on the pages that follow (in order). The names of the pages will be something like "C imples E" or "A and D imply B."
But what would make an even better report (and for more credit), and a feature that might help the authors also, is a flow chart.
Here are two examples.
One is a completely made up flow chart that shows that assertions U, V, X, Y and Z are equivalent. Of course we do not know what these assertions are, but you can follow the arrows to see that you can prove any statement from any other.
The second is a genuine flow chart for the basic properties of isosceles triangles. Not everything here is an equivalence.