⁷Details in Appendix G.