Now Comes the Hard Part for Mamdani