DAVID SHERMAN

210819 IK proofs

210819 IK proofs