Removed strongTNC.tex
Removed todo