Doing some homework in preparation for a second edition of *Logic, Induction and Sets* and find myself wondering whether or not it is still open whether or not NS implies choice. The internet gives no clue. tf