Stav dette: Sumbolic logic and the game of logic