this judgment of B2′s stupidity, in turn, is solely based on B2 satisfying B1 =/= B2
It isn’t based solely on that—that is what
evidence makes the question overdetermined
means.
It isn’t based solely on that—that is what
means.