Pushed some stuff into the appendix