More proof sketches