Expand proofs of collectors evaluation
Remove 07-algorithm chapter