Babylonian Talmud, Tractate Makkot

ותרוייהו אליבא דרבי יהודה דתניא ולא תותירו ממנו עד בקר והנותר ממנו עד בקר וגו' בא הכתוב ליתן עשה אחר לא תעשה לומר שאין לוקין עליו דברי רבי יהודה ר' יוחנן דייק הכי טעמא דבא הכתוב הא לא בא הכתוב לוקה אלמא התראת ספק שמה התראה ור"ל דייק הכי טעמא דבא הכתוב הא לא בא הכתוב לוקה אלמא לאו שאין בו מעשה לוקין עליוור"ש בן לקיש נמי הא ודאי התראת ספק הוא סבר לה כאידך תנא דר' יהודה דתניא הכה זה וחזר והכה זה קילל זה וחזר וקילל זה הכה שניהם בבת אחת או קילל שניהם בבת אחת חייב רבי יהודה אומר בבת אחת חייב בזה אחר זה פטור