Dalex Proofs