The smoking ban: What's the law?