Lima was founded in 1931 as a county seat which was mandated by the Ohio legislature .
The Ohio legislature mandated that a county seat be established . `` Lima '' was the result .