 And recently, Florida and Texas have actually blocked local jurisdictions from writing their own heat rules. They've been concerned that patchworks of rules are hard for employers and said if heat is such a problem, OSHA should make clear rules that apply to everybody. So OSHA is giving them a rule. So typically, a rule like this takes a while to come to fruition or in an election year. Will this rule even be implemented if the administration changes?