... האחרות אינן עובדות, עדיין לא הוכחנו שהדרך שנבחרה באמת עובדת. זה שהוכחנו שדרכים אחרות לא מגיעות לתוצאה לא אומר שהדרך הזאת בהכרח כן מגיעה לתוצאה. חייבים
לבדוק גם את הדרך הזאת ספציפית ולוודא שהיא עצמה נכונה, כי אחרת, הראינו רק שחלק מהדרכים אינן נכונות, ולא בהכרח שהדרך שבחרנו היא נכונה. לדוגמה, אם אדם שואל איך להגיע לירושלים?, ועונים לו רק בדרך הזאת אפשר להגיע לירושלים, הטענה הזאת מחייבת שתי בדיקות נפרדות: יש
לבדוק האם הדרך המדוברת אכן מגיעה לירושלים. יש
לבדוק האם כל דרך אחרת שתיבחר אכן לא מגיעה לירושלים. אם נצליח להוכיח רק את הדבר השני (ששאר הדרכים לא מגיעות לירושלים), עדיין לא הוכחנו שהדרך ... על הוכחת הדרך עצמה? התשובה של אליעד כהן ברורה: אי אפשר לוותר על ההוכחה של הדרך עצמה. גם אם אנחנו בטוחים לחלוטין שאין שום דרך אחרת שעובדת, עדיין חובה
לבדוק את הדרך המדוברת. אי אפשר להניח מראש שאם הדרך היחידה שנשארה היא זו, היא בוודאות תוביל אותנו למטרה. חייבים להראות שהדרך עצמה מוכחת ועובדת. ...