since the bulk of check problems will not be a direct relation, but rather have some sort of subproblem