The Day the Proofradar Quit