proof-tightened
examples
things
bib