שבת קנז:

וְגִיגִית סְדוּקָה מוּנַּחַת עַל גַּבָּן וּפָקְקוּ אֶת הַמָּאוֹר בַּטָּפִיחַ וְקָשְׁרוּ אֶת הַמְּקִידָּה בְּגֶמִי לֵידַע אִם יֵשׁ שָׁם בְּגִיגִית פּוֹתֵחַ טֶפַח אִם לָאו

וּמִדִּבְרֵיהֶם לָמַדְנוּ שֶׁפּוֹקְקִין וּמוֹדְדִין וְקוֹשְׁרִין בְּשַׁבָּת עוּלָּא אִיקְּלַע לְבֵי רֵישׁ גָּלוּתָא חַזְיֵיהּ לְרַבָּה בַּר רַב הוּנָא דְּיָתֵיב בְּאַוּוֹנָא דְמַיָּא וְקָא מָשַׁח לֵיהּ אֲמַר לֵיהּ אֵימַר דְּאָמְרִי רַבָּנַן מְדִידָה דְמִצְוָה דְּלָאו מִצְוָה מִי אֲמוּר אֲמַר לֵיהּ מִתְעַסֵּק בְּעָלְמָא אֲנָא