Officially named John Doe0031NW1 in the police report, the man had broken the second rule of category four of the DC Public Library Rules of Behavior: “Directing a specific threat of physical harm against an individual, group of individuals, or property.”