שאלת: צבור שהיו בונים בית הכנסת, אם מותר להשלים בחוה"מ [= בחול המועד], מפני שיש בו צורך הרבים? או"ד אסור שאפילו לצורך הרבים, כל שהיא מלאכת אומן, ואינו צריך כל כך במועד, אסור? או נאמר עוד, כיון שיש בו מצוה, מותר?.