Could a lawsuit compelling Frank LaRose to perform his duties ultimately undo Ohio 2023 Issue 1?