Alternating tree automata and parity games

Все в порядке. - спросила Синий Доктор. Она кивнула. - Благодарю тебя за это, - дрожащим голосом Николь обратилась к Орлу. - Ну, теперь я готова в путь.