Completes TODOs.
Adds compendium of known results.