0816_b_colford_10450816_b_colford_1045
proofs