What would we do in Ohio if we lost 20,000 teachers from our local public schools?