Text this: Las ciencias formales