Text this: Symbolic logic ; and The game of logic :