¿Qué pasa con $DOT? ¿Subirá también?