[RightWhale]

When I wasted 6 months of lunch hours diagramming the assertions in volume 1, I found that the chart could not lie flat on a sheet of paper without special crossing symbols like circuit diagrams. In this way it is like a diagram of semantic linkages. Semantic linkages might be a non-orientable manifold; I'm not done with that chart even though the power of computer flowcharting is a tremendous aid. If I ever finish we will see.

[KayEyeDoubleDee]

Well, at first I thought it was a joke referring to another thread, now I admit that I have no idea, although it is the end of a long day of freeping, I mean, uh, generating UML for this project...