Proof scribblr sections 0, 1, and 2