I don't think it's appropriate to give a bonus to the city manager who's already left the city. Beyond that, it's the amount of it.