Recursive Validity Proofs