[hodgesrm]

Given the subject matter, I'm going to hazard a guess they are somehow getting stuck on the Axiom of Choice.