Implications -- 8. Appendix.