Text this: Symbolic logic/