Tidak semua syarat bekerja sama kuat. Sebagian syarat memangkas banyak kemungkinan sekaligus, sebagian lain hanya membuang satu atau dua, dan ada syarat yang tidak membuang apa pun karena sudah dijamin oleh syarat lain. Menemukan syarat yang paling memangkas menentukan berapa lama sebuah soal selesai dikerjakan.
Ukuran yang dipakai adalah banyaknya susunan yang tersisa setelah syarat itu diberlakukan. Empat benda memiliki dua puluh empat susunan. Syarat berbentuk 'X tepat di atas Y' menyisakan enam susunan, sedangkan syarat berbentuk 'X bukan di posisi paling bawah' menyisakan delapan belas. Angka itu dapat dihitung dengan tangan pada soal kecil, dan dihitung dengan permutations pada soal yang lebih besar.
Di pekerjaan, ukuran yang sama dipakai untuk memilih penyaring mana yang dijalankan lebih dulu pada daftar panjang, dan untuk menemukan syarat yang ternyata tidak pernah membuang apa pun. Syarat yang tidak memangkas satu susunan pun menandakan aturan yang tumpang tindih dengan aturan lain, dan dapat dihapus tanpa mengubah hasil akhir.
Empat berkas Surat, Nota, Kuitansi, Daftar menempati posisi 1 sampai 4.
Tanpa syarat -> 24 susunan
Syarat 1: Nota tepat di kanan Surat -> 6 susunan
Syarat 2: Kuitansi bukan di posisi 1 -> 4 susunan
Syarat 3: Daftar sebelum Surat -> 2 susunan
Tiga syarat belum menuntaskan soal; masih perlu satu syarat lagi
yang memisahkan kedua susunan tersisa.