theis.tex updated