Discovered Attacks and Double Checks