4a.2 Q&A with Ben: Does S have to be finite?