> try to design an experiment that would prove whether the value written in the system is correct. If designing the experiment is very hard, that should be inte

> try to design an experiment that would prove whether the value written in the system is correct. If designing the experiment is very hard, that should be interpreted as a risk factor - if no one can check that the system is doing what it ought to, then maybe it really is wrong!