Craig_full size proofs