Wooble wrote: > In the election for CotC, there is only one valid option, Murphy. The > office becomes Postulated if for some reason it wasn't (e claimed to > assume it a while ago, but I can't find any message purporting to > remove em from it or make is Assumed, so this probably does nothing.)
Depends on CFJ 2951 (which I think is TRUE because the natural parsing of "any officer can resign, vacating the office" is "for each office, its holder can resign, vacating it").