. . . "The Ohio Senate has just passed a law that bans public employees from ever going on strike and that forbids them from negotiating on issues such as health care, sick time and pension benefits with the state government." . . .