The Democratic primary won’t necessarily determine who will become mayor.