Text this: New methods in simbolic logic