Text this: A survey of symbolic logic/