open-logic-text-induction.pdf