Explaining My Multiagent Dispute Derivation Procedure

Spent the last few weeks writing about my modified admissible belief dispute derivation procedure. Except for one proof outstanding, the first draft seems done.