same raise-level algo as ICDCS'13