When you built Polis, you chose to optimise for consensus. How do you keep that optimisation goal open to challenge?