Text this: New methods in symbolic logic