Text this: Exercises in symbolic logic :