Text this: Separating regular languages with two quantifier alternations