Talk:Büchi arithmetic