Show a bold title with a comic‑style button
A control model that catches errors in mathematical proofs.