> that's not the very beginning So you binary search the damn thing, and you find the logical culprit in log(N) time if N is the number of clauses, instead of

> that's not the very beginning So you binary search the damn thing, and you find the logical culprit in log(N) time if N is the number of clauses, instead of searching linearly. Like, if they agree what a phone is, you don't need to drill down all the details of what constitutes a phone. If they disagree, only then traverse the sub-nodes of that.