$13 million for one of the worst players in baseball.
I can't say Passan is wrong, exactly: "... the free agent market has set the price of veteran starting pitchers at $10 million-plus a year -- and Severino's past success bought him slightly more ..."
... but I'd take a 30% raise, and I wouldn't consider it "slightly more"; and
... where is the demand for Luis Severino that would command a premium, however slight?