Title: What kind of game is algebra?