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