Connelly Proofs