Text this: HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.