Update logic-god.tex