Exactly. The proof they did not actually crack Bitcoin is the fact they said they did.