Clayford 's ChoiceseditsProofs