Title: Hidden proofs