Talk:Predecessor problem