splitted reachable and colonization. no nonzero