Still difficult to use.
Work is better than the paper. Alternatives are not well-presented.
Not clear on usefulness of invariants and principles.
