Langkah ketiga, kita uji nilai p dan q dari himpunan minus satu hingga tiga. Jika q sama dengan nol, maka p sama dengan tiga, ini memenuhi. Jika q sama dengan satu, maka p sama dengan nol, ini juga memenuhi. Nilai q lainnya akan menghasilkan p di luar himpunan, jadi pasangan yang kita dapatkan adalah tiga koma nol dan nol koma satu.