final jalangi-tool.tex