Babylonian Talmud, Tractate Yevamot

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