yes, the comment might be stale, but note that Down members can only exist in unreachable