Detailed exercises for rule induction; fixed typo