explicit list with updated check heap