I would ask how much gun violence has been perpetrated in state buildings by citizens legally carrying firearms.  Any?  If not, then what's the purpose of this EO?  Let's put the facts out there for the public to view and then decide if this EO indeed makes state workplaces safer or not.