From B Nomic
Monotonicity is rather dull, don't you think?
Alter rule 2-2, replacing the sentence "For each new Proposal, the
Proposal Number shall be equal to 001, or if such Number is already in
use, to the greatest existing Proposal Number incremented by one." with
"Each new Proposal shall be assigned by the Administrator an integer
Proposal Number greater than all previously-existing Proposal Numbers."
Alter rule 2-5, replacing the sentence "For each new RFJ, the RFJ number
shall be equal to 001 or, if such Number is already in use, to the
greatest existing RFJ Number incremented by one." with "Each new RFJ
shall be assigned by the Administrator an integer RFJ Number greater
than all previously-existing RFJ Numbers."