Consistent wording
Remove superflous whitespace
Change proofed->proved
Minor doc changes