Babylonian Talmud, Tractate Sukkah

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