To close out the theoretical part of this report, we wish to put forth several observations that we have discovered regarding the relationships between assertions, test cases, and a program's ability to hide faults. Interest in using assertions continues to grow, but many practitioners are not sure how to begin using assertions or how to convince their management that assertions should become a standard part of their testing process. Hopefully, some of these observations will provide the insights as to what assertions and reachability analysis can do towards making validation efforts more fruitful.