¹Detailed in appendix C.