Babylonian Talmud, Tractate Eruvin

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

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