Text this: Excercise in symbolic logic