many proofs on python