Title: Buchi Must Choose