Text: Auditors can reduce the direct tests of the data if they test the effectiveness of general and application controls over computer-processed data, and these tests support the conclusion that the controls are effective.
Entailment: Auditors are allowed to reduce direct tests of data if they do test the effectiveness of general and application controls.
Contradiction: Auditors are not allowed to reduce direct tests of data.