God, did I just write all of that? Someone stop me before I gain 200 pounds, grow a ponytail, and start whining "worst X everr."
In other news... still staring at [Kosaraju 82]. Wondering if I can generalize the result in a few places. Note to all present or future research paper writers in the audience: when you make a statement that involves at least four (4) alternating quantifiers, preferably even when there are two or three, make damn sure that the way you turn it into an English phrase (if you choose to do so - I certainly wouldn't mind seeing it as an explicit quantified formula) makes the order and binding scope of the quantifiers unambiguous and clear. It was not fun to waste an hour or two trying to convince myself of a lemma which is FALSE because I got the quantifiers wrong.