Text this: Logical frameworks for truth and abstraction :