Premise: Auditors should also ensure that the model used is consistent with the software development methodology of the project under consideration.

Hypothesis: Auditors don't care about whether the model's consistent with the methodology,
Relation: contradiction