Redemptive Pursuits Proofs