Comment by mprast

yes, what i had in mind were more proof sketches than proofs