Talk:CTL*

What’s with all the parentheses
The parentheses in the CFG definition are cumbersome and unnecessary. I propose they be removed.