what to do about Aleppo?