I have received an email message inquiring about a rumor that a proof had been announced on FOM that: ZFC + (a global choice function) is a conservative extension of ZFC. I don't recall any such thing, but enlightenment would be appreciated. Martin