Văn bản này: Solving parity games via priority promotion