Full details are in Appendix A.