Appendix A Definitions from previous work