Definitely seeing the light at the end of the tunnel now.
I think I am going to wind up much happier about this paper when all is said and done than the TPHOLs'03 one. Not too optimistic about it getting accepted, but whatever. About seven pages are actually tolerable now, and just the middle three remain an unnegotiable mire of funny symbols, greek letters, and toxic gas. Well, okay, no toxic gas. And some of the letters aren't greek.