Pertama, kelompok benar. Ada pasti benar yang wajib sesuai hukum logika, seperti P maka Q, faktanya P, maka kesimpulannya Q. Kedua, mungkin benar, yang bisa terjadi tapi tidak wajib, seperti lingkaran P di dalam Q yang bukan satu-satunya kemungkinan.