有効性保証金は増加する。bvf(ν)}となる。Phase)指名レポート、ファーストパブリックレポートのいずれかが行われると、現在の7日間に及ぶ手数料期間が終了するまでの間、マーケットは「次の手数料期間待ちフェーズ」に入る。このフェーズが終了すると、マーケットは次の手数料期間の争議ラウンドフェーズに移行する。Universe)フォークが発生し、フォーク期間が終了するまでに最もREPが移行されたチャイルドユニバースを、そのフォークにおけるウィニングユニバースという。Market)Yes/Noマーケットとは、2つだけのアウトカムを持つマーケットのこと(アウトカムには無効もあるがここではカウントしない)。Yes/Noマーケットは、はい/いいえ、の答えを求めるマーケットであり、もしこれ以上のアウトカムが必要であればカテゴリカルマーケット、または、スカラーマーケットを使用すべきである。