משנה: אָמַר רִבִּי אֱלִיעֶזֶר וּמָה אִם שְׁחִיטָה שֶׁהִיא מִשּׁוּם מְלָאכָה דּוֹחָה אֶת הַשַּׁבָּת. אֵילּוּ שֶׁהֵן מִשּׁוּם שְׁבוּת לֹא יִדְחוּ אֶת הַשַּׁבָּת. אָמַר לוֹ רִבִּי יְהוֹשֻעַ יוֹם טוֹב יוֹכִיחַ שֶׁהִתִּיר בּוֹ מִשּׁוּם מְלָאכָה וְאָסַר בּוֹ מִשּׁוּם שְׁבוּת. אָמַר לוֹ רִבִּי אֱלִיעֶזֶר מַה זֶּה יְהוֹשֻעַ מָה רְאָיָה רְשׁוּת לַמִּצְוָה.
MISHNAH: Rebbi Eliezer said, if slaughter which is work pushes the Sabbath aside, should not these, which are because of Sabbath rest, push the Sabbath aside? Rebbi Joshua said to him, holiday is a counter example, where He permitted the work but forbade because of Sabbath rest. Rebbi Eliezer answered whim, what is this, Joshua? What proof is option for obligation?