[nyssos]

> There might be some small subset of citations that work like a mathematical proof

And even then, you're just weakening the result, not throwing it out entirely: instead of a proof of X that cites a proof of Y, you have a proof that Y implies X.