Text this: Semántica verificacionista y lenguaje universal