proofs-66