⁶Described in appendix C.