Split appendix.tex
Small tweaks
More about internal invariants