Generative Base Proofs