. . . . . . . . . "Infinite-horizon choice functions" .