Verification in #science is not of single statements but of the entire system or a sub-system of such statements #RudolfCarnap
