¹The list of all abbreviations and their definitions appears in Section A, in the Appendix.