DAVID SHERMAN

200908 solinsky proofs

200908 solinsky proofs