Text this: Injective choice functions /