DAVID SHERMAN

160614 G and C proofs

160614 G and C proofs