premise: Electricity generators must install monitors to prove that they have sufficient allowances to match their actual emissions.
hypothesis: Actual emissions do not have to be measured after theoretical emissions are calculated.