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