> resists all capability to prove it

No, they're satisfied with the existing proof. Which is pretty concrete.