Title: The game of logic