Move something on evaluation to appendix, rewrite intro