Praise then darkness, and creation unfinished

I turned in the copyediting job, and am now back to proofreading a math book. Here at the bottom of page 16, I find "By the axiom of choice, there exists a set B which consists of one element from each Aα."