Simplifying the modal mu-calculus alternation hierarchy