Delete assertions appendix in preparation for #109