דָּרֵשׁ רַבִּי חֲנִינָא בַּר פָּפָּא וְאִיתֵּימָא רַבִּי שִׂמְלַאי לְעָתִיד לָבֹא מֵבִיא הַקָּדוֹשׁ בָּרוּךְ