Text this: SEPARATING REGULAR LANGUAGES WITH FIRST-ORDER LOGIC.