Mari cek pernyataan pertama. x lebih dari empat dikurang y ekuivalen dengan x tambah y lebih dari empat. Jika kita uji angka, misal x sama dengan lima dan y sama dengan nol, maka lima lebih dari nol, jawabannya ya. Tapi jika x sama dengan dua dan y sama dengan tiga, jumlahnya tetap lebih dari empat namun x kurang dari y. Karena hasilnya tidak konsisten, pernyataan satu tidak cukup.