Talk:Logical induction