In 2023, would you trade a loss at Florida for a win at Alabama?