change isDead to isReachable