It was ordered that no smoking________in the library.