proofs are bugs