revised thesis structure (intro) and rule induction