DISCUSSION: The end of Omar al-Bashir's reign