some appendix, invariants