Theorem: if you have tests for all the features of your program (e.g. implementing a spec) you don't need to measure code coverage. Agree?