Update logic-applications.tex