Text this: Challenging puzzles in logic/