Update InferenceProcedures.tex