Babylonian Talmud, Tractate Shevuot

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