I sense that it's probably close to done, so here's a clean draft. I'm breaking province voting rights off into separate proposals according to power.
What Are We? AI=1, II=2 {{ Enact a new rule with power 1, entitled "Nomic Definitions", with text as follows: Zefram is the coauthor of this proposal. A nomic ruleset is a set of explicit rules that provides means for itself to be altered arbitrarily, including changes to those rules that govern rule changes. Not all rule changes need be possible in one step; an arbitrarily complex combination of actions (possibly including intermediate rule changes) can be required, so long as any rule change is theoretically achievable in finite time. A nomic is the single entity defined by a nomic ruleset as a whole. Each nomic ruleset defines exactly one nomic, and each nomic is defined by exactly one nomic ruleset. A foreign nomic is a nomic that is not Agora. Adopting the name of "Agora" does not disqualify a nomic from being foreign; any nomic that is not the One True Agora is a foreign nomic. A province is a protectorate that is registered as a player. }} Provincial Voice in Government (Lesser) AI=2, II=1 {{ If the rule "Nomic Definitions" exists, then amend rule 2156 by inserting the text " the BVLOD of a province is four," after the comma in the second sentence of the first paragraph. }} Provincial Voice in Government (Greater) AI=3, II=1 {{ If the text of rule 2156 contains the word "province", then amend rule 1950 to read as follows: The eligible voters on a democratic decision are those entities that were either active first-class players or active provinces at the start of its voting period. The voting limit of each eligible voter on a democratic decision is one. }}