rename niceties to misc
add stuff to subsection Proof