$DOT These old mainstream ones are basically done; even in a bull market, they can’t be pulled up.