His 2020 salary would become guaranteed if he pitches 160 innings in 2019, and the 2021 and '22 options would become guaranteed if he pitches 160 innings in the previous season or 310 innings in the two previous seasons combined. The options would become guaranteed only if he does not have an injury to his left arm.