Oregon wouldn’t trade Lanning for Mario