Induction/All quantifier/Exercise