If they don’t switch to another provider they are automatically switched to a provider of last resort (POLR) which is a predetermined provider based on ERCOT policy.