Source and decoding - Eruvin 2a
מָבוֹי שֶׁהוּא גָּבוֹהַּ לְמַעְלָה מֵעֶשְׂרִים אַמָּה — יְמַעֵט. רַבִּי יְהוּדָה אוֹמֵר: אֵינוֹ צָרִיךְ.
An alley whose entrance beam is higher than twenty amot - he must lower it.
An alley whose entrance beam is higher than twenty amot - he must lower it. Rabbi Yehudah says: he need not. The Gemara compares the Mishnah of Sukkah, which says "invalid" rather than "lower it," and examines why the wording differs.