Basic exercises with a little bit of failures
induction and lists