Text this: Understanding symbolic logic/