Text this: Exercise in symbolic logic :