a brief look at the base case

will be harder than I thought, since it means dealing with constraints
on select (but I think that's the only hard bit..?)