Text this: Understanding Symbolic Logic