עיקר תוספות יום טוב על משנה מעשר שני ה׳:ט״ו

15 כד גְּמָרָא סוֹטָה דַּף מ"ו, וּמְסַיְּמִין בָּהּ, וַהֲלֹא כְּבָר נֶאֱמַר תְּהִלִּים קכא הִנֵּה לֹא יָנוּם וְלֹא יִישָׁן שׁוֹמֵר יִשְׂרָאֵל. אֶלָּא כָּל זְמַן שֶׁיִּשְׂרָאֵל שְׁרוּיִים בְּצַעַר וְנָכְרִים בְּשַׁלְוָה, לְכָךְ נֶאֱמַר תְּהִלִּים מד עוּרָה לָמָּה תִישַׁן ה'. וְכָתַב הָרַ"מ, וְהֵם הָיוּ אוֹמְרִים זֶה הַפָּסוּק כְּאִלּוּ הָיוּ מְדַבְּרִים עִם הַשֵּׁם יִתְבָּרַךְ וְהָיוּ צוֹעֲקִים אֵלָיו בְּזֶה הַפָּסוּק, וְזֶה מַה שֶּׁאֵינוֹ רָאוּי לַעֲשוֹת וְלוֹמַר כְּלַפֵּי הַשֵּׁם יִתְבָּרַךְ:

16 הָיָה פַּטִּישׁ מַכֶּה בִּירוּשָׁלַיִם כְּלוֹמַר, בְּחוּלּוֹ שֶׁל מוֹעֵד. הָר"ם: