This default seems arbitrary ... why not have 9-10 -> 5, 7-8 -> 4, and so on as default?