একটি দ্বিতীয়, বিরল, অ্যাপ্লিকেশন যেখানে একটি অত্যন্ত সাধারণীকৃত বা সার্বজনীন দাবিকে প্রশ্নবিদ্ধ করা হচ্ছে, এবং আমরা এটি একটি উদাহরণ পরীক্ষা করে পরীক্ষা করতে সক্ষম।
দ্বিতীয় অ্যাপ্লিকেশনটি মোটেও বিরল নয় এবং সাধারণত ব্যবহৃত হয়।