Does the Ohio House of Representatives have anything better to do