second draft
second draft, added proofs