If all processes terminated, cannot be a deadlock...