How can a scientist test the correctness of a scientist model?