תוספות על חולין יז.

וכל שכן השתא דארחיקו להו טובא - לספרים דגרסי באלו הן הלוקין (מכות דף יט.) לעולם לא קידשה לעתיד לבא אם כן לר' ישמעאל הותרו הבמות וקשה דאם כן מאי קאמר הכא לר' ישמעאל דארחיקו להו טפי אדרבה אקריבו להו טפי כיון דהותרו הבמות: