Talk:Büchi-Elgot-Trakhtenbrot theorem