This sub-select isn't scoped to any problem, so it'll get bigger and bigger as time goes on.