finished formal documentation for Part 4