Remove TODO, fix a stylistic error in LP formulation matter.
Add explanatory footnote on NT-reduction techniques.