Excuse me, could you please clarify something for me? I've been reading about ERCOT and its role in managing the Texas power grid, but I'm a bit confused about its ownership structure. I was wondering, is ERCOT actually owned by the state of Texas, or is it an independent entity? I'd appreciate any clarification you could provide on this matter. Thank you in advance for your help.