Distributor Proofs