In principle, this is how these systems work. In practice, there are usually plenty of things that make it difficult to say for sure if you have a proof of some

In principle, this is how these systems work. In practice, there are usually plenty of things that make it difficult to say for sure if you have a proof of something.