Dependent Eligibility Proofs