It was ordered that no smoking __________ in the library.