Talk:Slothful induction