¹See appendix A.