Mishnayos Brachos Perek 1 Mishnah 5

It is a mitzva by Torah law to mention the exodus from Egypt at night, but some held that this mitzva was, like phylacteries or ritual fringes, fulfilled only during the day and not at night. For this reason it was decided: The exodus from Egypt is mentioned at night, adjacent to the recitation of Shema. Rabbi Elazar ben Azarya said: I am approximately seventy years old, and although I have long held this opinion, I was never privileged to prevail (Me’iri) and prove that there is a biblical obligation to fulfill the accepted custom (Ra’avad) and have the exodus from Egypt mentioned at night, until Ben Zoma interpreted it homiletically and proved it obligatory. Ben Zoma derived it as it is stated: “That you may remember the day you went out of the land of Egypt all the days of your life” (Deuteronomy 16:3). The days of your life, refers to daytime alone; however, the addition of the word all, as it is stated: All the days of your life, comes to add nights as well. And the Rabbis, who posit that there is no biblical obligation to mention the exodus from Egypt at night, explain the word, all, differently and say: The days of your life, refers to the days in this world, all is added to include the days of the Messiah.

מַזְכִּירִין יְצִיאַת מִצְרַיִם בַּלֵּילוֹת. אָמַר רַבִּי אֶלְעָזָר בֶּן עֲזַרְיָה, הֲרֵי אֲנִי כְּבֶן שִׁבְעִים שָׁנָה, וְלֹא זָכִיתִי שֶׁתֵּאָמֵר יְצִיאַת מִצְרַיִם בַּלֵּילוֹת, עַד שֶׁדְּרָשָׁהּ בֶּן זוֹמָא, שֶׁנֶּאֱמַר (דברים טז) לְמַעַן תִּזְכֹּר אֶת יוֹם צֵאתְךָ מֵאֶרֶץ מִצְרַיִם כֹּל יְמֵי חַיֶּיךָ. יְמֵי חַיֶּיךָ, הַיָּמִים. כֹּל יְמֵי חַיֶּיךָ, הַלֵּילוֹת. וַחֲכָמִים אוֹמְרִים, יְמֵי חַיֶּיךָ, הָעוֹלָם הַזֶּה. כֹּל יְמֵי חַיֶּיךָ, לְהָבִיא לִימוֹת הַמָּשִׁיחַ: