Dallas proofs