proof corrections
correct proofs
more gitignore