Gödel's Proof game. What would happen if the characters of the game began to consider if they are free?