Comment:

The table view lists a bunch of invariants on the root elements in italics. However, it lsts them in a diffeent order than the invariants table further down. I'm not clear why this information is repeated on the first element, but if we're going to repeat it, it should be consistent in ordering.

Summary:

Inconsistency in lists of invariants