Call for Judgment: Just a miscellaneous CFJ
Fails 0-6. — Quirck
Adminned at 23 Jun 2013 14:12:48 UTC
For all Proofs that have not yet been Enacted or Failed, if that Proof contains a Formula but does not specify which section to add it to, amend the Proof so that it specifies that the Formula shall be added to the section “Miscellaneous”.
For all Proofs that have been Enacted since the beginning of 20 June, if that Proof attempted to add a Formula to the Truths page without specifying which section it should be added to, that Formula is added to the Truths page as if the Proof had specified that it should be added to the section “Miscellaneous”.
I forgot to specify this and now it’s pretty much too late to change it. nqeron also forgot to specify this,
nqeron:
Huh? “There is a wiki page called Truths which consists of two sections, Axioms and Theorems”
And, “Any Atom can propose to add an item to either list by submitting an entry in the “Proof†category that states the Formula to be added, which section to add it to ...”
The ‘section’ means either Axioms or Theorems, not some constructed section.