Some parts of the program can remain untested because the what law is not examined