But the problem was that the report is not saying "not found", it is saying "is not present" or "there is no X". And I think we can easily have examples where

But the problem was that the report is not saying "not found", it is saying "is not present" or "there is no X". And I think we can easily have examples where we can reasonably trust this, and a spectrum of such. E.g. there is a math solution and the report says "there is no errors in this solution", you would imagine that to be quite reliable, no?