Adding modifications for hw-template.tex. NLI proof not yet complete, but getting there...