Talk:Büchi's problem