start induction section. don't understand how the induction on evidence works (with multiple cases too)