Completes TODO; notes that the problem is in P.
Removes large chunks of commented text.