the big thing being that if the computation of a subproblem depends on a caveat, you can't shear a check/lookup tree as easily