רש"י על חולין · Rashi on Chullin 4a:2
1אביי - דאמר לעיל יוצא ונכנס לכתחלה לא שרינן גבי שחיטה דייק מרישא:
2ורבא - דשרי דייק מסיפא דלא מצריך תנא בדיקה אלא היכא דבא ומצאו: