So, is this to say we approach the irreducible best with induction?