Virginia law prohibits law-abiding citizens from carrying firearms inside state-owned ABC stores and VDOT safety rest areas. Gary Widner is challenging the ban under the Virginia Constitution, arguing that the government must demonstrate a historical tradition of firearm regulation to justify restricting the right to bear arms in these public locations.