Verified a bunch of TODOs.