Update logic-intuition.tex