הר"ן

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