n پردازنده در اختیار داریم که بعضی درست و بعضی خراب هستند. دستگاه تستکنندهای در اختیار داریم که نحوهی استفاده از آن به این شکل است: دو پردازندهی دلخواه A و B را در دستگاه میگذاریم. A و B هر یک دیگری را تست میکنند و گزارش میدهد که آیا دیگری درست است یا خراب. گزارش یک پردازندهی درست حتما صحیح است، ولی نمیتوان به گزارش یک پردازندهی خراب اعتماد کرد.
فرض کنید تعداد پردازندههای خراب کمتر از تعداد پردازندههای درست است.