¹See appendix C.