Create Inferencenotes2.tex