removed notex from appendix
add presentation
liveness and safetyproperty are now subsubsection
working on presentation