AFTER: adding IBRAHIM work