DAVID SHERMAN

180620 s k proofs

180620 s k proofs