proofs 12-9-12