The Ridgemont Public Library's mission is to supply the residents of Hardin County, Logan County, and the State of Ohio, regardless of age, race or belief, …