 And, of course, that doesn't even count overtime or off-duty work, the latter of which the city doesn't track. But Minneapolis has been struggling to keep up the police force since 2020. So city leaders, including the mayor, say they really need to recruit new officers and retain the ones that are still there. So they see these raises as essential to accomplishing that. What about any police reforms in that contract? Did any of that happen?