Gun ban was not result of any action by anyone against state offices. "Gun free" advertises these areas as risk free targets for groups bent on mischieif, i.e, mayhem against unarmed innocents.