EXPLAINER: The debate over property tax elimination in Ohio