Text this: Logica formal antigua