Ứng dụng thứ hai, hiếm gặp là khi một khẳng định mang tính tổng quát hoặc phổ quát cao đang được đặt câu hỏi và chúng ta có thể kiểm tra nó thông qua việc xem xét một trường hợp.
Có ít nhất hai ứng dụng có thể được sử dụng.