A declaration of extinction is a statistical statement - we can’t check under every rock in the world. If we have done a bunch of checking for a species under a bunch of its favorite rocks, and found nothing, the odds are high that it is extinct. But sometimes species beat the odds and a later rock-check finds one after all.