Original: The tropical year in the definition was not measured, but calculated from a formula describing a mean tropical year which decreased linearly over time, hence the curious reference to a specific instantaneous tropical year.
Simplified: The tropical year in the definition was not measured, but calculated from a formula describing a tropical year which decreased linearly over time, hence the curious reference to a specific instantaneous tropical year.