The election is May 5, but does he keep working as mayor beyond that?