¹²See appendix D.