moved some things to appendix