Text this: SEPARATING REGULAR LANGUAGES WITH TWO QUANTIFIER ALTERNATIONS.