ותרוייהו אליבא דרבי יהודה דתניא (שמות יב, י) ולא תותירו ממנו עד בקר והנותר ממנו עד בקר וגו' בא הכתוב ליתן עשה אחר לא תעשה לומר שאין לוקין עליו דברי רבי יהודה ר' יוחנן דייק הכי טעמא דבא הכתוב הא לא בא הכתוב לוקה אלמא התראת ספק שמה התראה