mnli premise: Auditors could, for example, compare expected to actual usages of hardware resources in order to identify emerging computer capacity problems. hypothesis: Auditors are specifically not allowed to examine computing power usage during their audit.