modified in line with some of onindo's comments.
removed witness semantics section in comparison + modified other elements accordingly.
Shortened reference names to GL and CH.
first draft sent to M v.L