Added sections on BNF, Rule inversion, tied with induction.