Resumen: DR: Si (¡Pagador != Júpiter) { Widen() }