Talk:Halin's grid theorem