At this point, we should check that all variables are covered and evaluate any that are outstanding.
At this point, we should check that all variables are covered and evaluate any that are outstanding.