Reference
3.8-9, 4.2, 4.18, 5.2, 7.8, 7.12, 7.16, 9.14, 10.10, 10.13, 10.15-16, 11.26, 12.26, 13.7-13, 14.28, 15.7, 15.12, 16.21, 16.36, 16.38, 16.51, 16.53, 17.35, 18.1, 18.6, 19.1, 19.3, 19.17, 20.27, 26.36, 27.15, 28.7, 28.13, 28.16, 29.18, 30.14, 31.3, 32.12, 33.17, 37.6, 37.8, 39.10, 41.4, 51.2, 52.12, 54.9, 64.6, 65.17, 67.11, 70.5, 71.11, 72.7, 73.21-22, 78.15, 80.8, 80.10, 80.20, 81.8, 81.19-20, 81.23, 81.28, 82.4-6, 82.19, 83.9, 86.20, 90.9, 91.36, 100.4