Diaconescu's theorem shows Choice can be derived from seemingly innocuous structural assumptions, me...