Text this: Symbolic logic,