Sukkot (300069629) 'requires' sukkahs (300007643);