Currently untested Library, ChoiceMap and History code