1. Go back to the software qualities discussed in Chapter 2. Classify all of them with respect to the following verifiability issues: a. Are they objective or subjective? b. Are they binary or not? c. Are they more or less relevant in different applications and environments? 2. We say that ; is more reliable than C, if whenever a program P is incorrect, it cannot hap-pen that a test set T2 satisfying C2 causes P's failure whereas ; satisfying C, does not. Show that it is not the case that if c, is finer than C2, then C, is more reliable than C2. Give a condition that does guarantee such an implication.