Looking for Proof in the Wrong Generation?