Well founded induction experiments, etc.