I read earlier Texas is buying power from Mexico. Apparently the wall doesn’t stop electricity.