construction of proofs 648161