The most fundamental essence of what they do is exactly what you say they don't: estimate.
You can't prove that )))