sin3, I think you switched verification and validation a little in your mind. Verification determines, like you said, every input has an output. Those inputs would come from the DID. Validation however, is what is used to determine whether or not the product fits the customer needs, not verification. Other than that, I agree with the rest of your points.