collins proofs