Text this: Symbolic Logic