đź§© Revealing the universe¶
"The overall goal is: show a lot of truth, with minimum contrivance"  Jonathan Blow
Andy Matuschak and Michael Nielsen suggested that transformative tools  especially public goods  stood to learn a lot from game designers, who have far more complete emotional and psychological models of human behaviour than anyone else in the digital world. So, let's take them at their word and see what the best indie developers in the world have to say about designing valuable games.
How does the fit into KERNEL?¶
You may be asking what computer games have to do with token design. Though the universe of games is fictional, the whole point of this talk is to demonstrate how the truths you will learn in a valuable game apply in general. So the real question is: what universe do blockchains instantiate?
We've already suggested the answer: a universe of distributed trust. Now, like any good game designer, we have to find the "nuggets of truth" in this world, and present them to everyone with the lightest possible contrivance.
We could teach you about the different kinds of constant function market makers, but these are just one particular flavor of one kind of nugget within the entirue universe of applications made possible by distributed trust. We want to demonstrate the principle here: virtuous games lead to valuable truth. The better we design our games, the more we can share our truths.
Brief¶
Jonathan begins with a description of Portal 2, and demonstrates discovering a game mechanic to do with using the light bridges in such a way that you explore otherwise impossibletoreach places. He also shows a classic game  vvvvvv  which allows you to change the direction of gravity for your character. Out of this single, incredibly simple rule, you can build mechanics that allow the character to traverse 180 degree bends and full circles, opening the game up into all sorts of fun and revealing mazes with just one rule. Such mechanics are:
little nuggets of truth the designer has found and packaged for the player. Now, I am calling them 'truth' even though you, as a player, encounter them as pieces of a fictional gameworld that doesn't exist. But, if you think carefully about these things: they are about subjects which pertain to the real world.
These often reveal sophisticated understandings of the universe  likes lines intersecting in 2D space, but being one below the other in 3 dimensions (as in Portal 2), yet in game play, it happens very naturally. This is a lot like what mathematicians do: they build higherorder constructs out of primitive "what if?" questions and explore the consequences of them.
If you learn only one thing this week, let it be this: mechanism design is about asking the most simple "what if?" question you can and then exploring the possibility space it implies fully. This is the aesthetic of game design:
 Mine nuggets of truth.
 Package that truth for the player.
Games are both toy universes and complex mathematical systems, and mathematics is an "unreasonably effective" tool for understanding the universe. In particular, mathematicians seem to agree that the shortest theorems which carry the deepest consequences are the "most beautiful." These are the nuggets we're looking for in the design of any mechanism.
Exploring well¶
 Start with a mechanic; like a grappling hook that you can shoot and pull yourself with.
 Or, you can be more vague; just a detail or consequence that you want to include, but am unsure of the framework around it. Like a puzzle game where you know that you want players to remember a melody and recite it back at some stage, but don't know exactly how.
 Aim towards the richest space, explore it completely, and trace a strong boundary around it.
 Present the results cleanly and with the least contrivance to get closer to the truth.
Marc talks about a 4dimensional game he designed, where the mechanic is a button you can press to switch one of the dimensions. This dimensionality results in strange and wonderful connections between universes, such that you can pass through walls, or "climb" to rewards on them you wouldn't otherwise be able to reach.
It's worth remembering May Li Khoe and Khan Academy. Great mechanism design revolves around small nuggets of truth, packaged with the least contrivance for people to find and experience themselves: much like negative numbers granting kids super powers when they adventure to the left of the number line, or the visual properties of prime numbers falling out their work on simple addition and subtraction. Mechanism design is not about making complex systems! It is about simplifying complex insights so that people can learn them intuitively through use (which is joyful), not explicitly through study (which is boring and contrived).
Jonathan discusses a puzzle pattern game  The Witness  he made and the "gamefeel" reasons which led him to certain constraints for drawing the solutions to puzzles. These range from ease of use across platforms to the aesthetic feel different rules  or the lack of them  induce. Before he even knew what the puzzles were, he had set up a system which could combine well with other mechanics. This is critical: exploration of lowlevel primitives yields possibility.
Virtuous design¶
We can define 8 criteria by which we can evaluate the "virtue" of different possibilities we stumble upon in our design process:

Richness  adjust the mechanic(s) to get the most interesting consequences. Once you know you want to switch between 4 dimensions, or solve puzzles on a constrained grid; iterate over the submechanics. Add terrain to explore in those dimensions, or think about the puzzle as drawing a partition between different spaces on the constrained grid.

Completeness  are there consequences we haven't found? Jonathan discusses Braid, where the main mechanic is that you can rewind time, with a submechanic that some objects are immune to this ability. This submechanic is an exploratory question and, in order to satisfy the completeness criterion, it must be applied to every object in the game. That said, there is a deep balance between "throwing something crazy" at players as they first arrive in the game world, which impedes their ability to learn; and holding it back entirely, which makes the game feel incomplete.

Surprise  maximize the amount of information contained within a limited and constrained package. It is the counterbalancing force to completeness and is created with high level expressions built from lowlevel concepts; or by combining game mechanics.

Lightest Contrivance  â€śthe less contrivance you have, the closer to the truth youâ€™ll getâ€ť. This applies to both mechanics and level design. There is an elegance to simple rules and an ugliness to complex ones. There's also a proportionality here: if you have 2 mechanics, one of which leads to a good deal of surprising and sublime results, and another which is twice as complicated and yields the same amount of results, then relative to each other, the second will feel ugly.

Strength of Boundary  having done the above, we must now focus in on our surprisingly elegant consequences and remove mechanics which do not provide enough surprise; are not relatively as rich as others; do not fit our refined definition of the game we're designing; create an unfocused space of consequences; or overlap too much.

Compatibility  mechanics need to complement each other, and this idea is confined by both richness and completeness. Only add mechanics that interact with all aspects of your game.

Orthogonality  basically: your mechanics shouldn't overlap or have similar results. The example Marc gives is Ikaruga: a shootthemup where you can shoot or switch colors, which are great examples of totally orthogonal principles.

Generosity  this is the consequence of orthogonality and completeness and is about having mechanics that are not limited to the player. That is, you can always go into the fourth dimension, or you can always rewind time: there is nothing that limits you as these are precisely the mechanics we wish to explore.
Though this is specifically about computer game design, we can apply exactly the same kind of thinking to open networks of distributed trust. As Juan Benet noted, verifiability is the key mechanic in Web 3, and instant settlement and transfer of ownership are examples of interesting submechanics which have not yet been completely explored.
The value of truth¶
Jonathan asks: "How do you make a good puzzle?" It's not by making it hard. It's not even by trying to make it good. It's by looking for truth and illustrating it with the puzzle.
The point of the puzzle is to show some truth.
Know what that truth is.
Eliminate anything which is not about that truth.
The question then becomes, "how do we ensure the player can grasp this truth?" It's not about bruteforce attempts: information needs to build up over each attempt, as it reveals more about the game mechanics at work.
The space around the truth is often more valuable than the truth itself.
Importantly, we're not talking about arbitrary things here: we are talking about principles which are valuable in and of themselves, outside the game. Great games and great mechanics have the same quality of unreasonable effectiveness as math does: they are particular illustrations of general truths. Another way to achieve this is with a hierarchy of ideas:
When you can have a sequence and there is a pattern along the sequence, a player can have a graduallydawning surprise, or a sublime growth in understanding, about what the sequence points to.
This happens regularly and naturally in all games as increasingly complicated mechanics or combinations are introduced, but it can also "take the form of a conversation about things which are not quite parallel to the mechanics themselves". Jonathan illustrates this by returning to the constrained grids of The Witness. Importantly, these nonverbal communications through game mechanics have to do with teaching players a certain pattern, and then getting them to break their perception of that pattern to see higherorder concepts.
By removing anything arbitrary, the designer is abdicating authorship over the puzzle. "The Universe" is the real designer of the puzzle. So the puzzle feels more fair, because it's not about reading the mind of the designer, it's about reading the mind of "mother nature".
If you make a game that encapsulates the truth in some way, then  even if your other design skills are poor  you will have captured something valuable. So, what is the truth you want to encapsulate with your mechanism, and what is the smallest possible set of rich lowlevel questions you can ask which will allow you to explore it completely and come up with something which is ultimately about generosity?
When we build games in this way, we're pointing many lenses at the universe to see what's out there. This is really valuable, because games in this sense are another tool  like mathematics  in the toolbox that humanity can use to understand the world.