[[appendix:abbreviations]]