Can We Have It Both Ways?

Hint: Probes (assertions) increase fault densities and they can be turned off to decrease fault densities

For a fixed program, either the faults are large or small