1Detailed in appendix C.