Text this: Logics and languages /