Analyzing (In)Abilities of SAEs via Formal Languages