Proof contributors