finish the optional problem with the help of Gustavo
start reading the Induction chapter