Premise: specific tests of the effectiveness of internal control and consider the results in designing audit procedures.

Hypothesis: The results are not used in audit procedures.
Relation: contradiction