the purpose of the “no smoking” section was to keep the rare non-smokers away, so their presence wouldn’t annoy the smokers. /s