Text this: Fundamentals of symbolic logic