Update logic-other.tex