Induction on evidence