Babylonian Talmud, Tractate Eruvin

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

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