Talk:Abductive logic