Update logic-predicates.tex