Take the following as truth: If they are not auctioned, should they be allocated based on heat input or electrical and steam output?
Then the following statement: "They should be auctioned" is true, false, or inconclusive?