Moved some stuff to the appendix