Let's tentatively call SHORT-LIST front-end code all done now