PATH(0, {d[0]}) = {}