As mentioned, Zermelo published a second proof of the WOT, submitted to Mathematische Annalen just two weeks before the submission of his ‘official’ axiomatisation, and published in the same volume as that axiomatisation. This proof is too elaborate to be described here; a much fuller description can be found in Hallett (2010b: 94–103), but some brief remarks about it must be made nevertheless. Recall that the purpose of the proof was, in large part, to reply to (some of) the criticisms raised in objection to the 1904 proof, and not least to clarify the status of the choice principle. 