Placeholder for “The Proof” section.