Induction: Adds solutions to basic_induction.
Induction: Adds solution to double_plus.