@samholloway @peterrowlett hey, I don't believe in the axiom of choice. You can't put a well-ordering on the complex numbers!