And what did Governor DeSantis and Governor Abbott do to them?