if the asset is used by Australian Energy Market Operator Limited (ACN 072 010 327)—that company; or