Create InferenceNotes.tex