Text this: A survey of symbolic logic,