Re: [math-fun] Re: mirrors (was The Axiom of Choice for roots of z^2 +1)