Bl.a. mere symmetri og et standardbevis til appendix.