Text this: Sumbolic logic and the game of logic