Text this: Symbolic logic.