Text this: Exercies in symbolic logic