the state of Ohio versus the state of Michigan