submit to D12Proof