Benjamin Schultz wrote: >Zefram, is the following duplication in R1922 correct? Did we forget >to delete a paragraph (d)?
It's correct. There was no Champion clause until 2007-01-22. There were two proposals in the 2007-01-22 batch that would each append a "(d) Champion" clause, and both passed. Proposals 4878 (Goethe) and 4891 (Murphy). -zefram