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 . The tropical year in the definition was not measured , but calculated from a formula describing a mean tropical year that decreased linearly over time , hence the curious reference to a specific instantaneous tropical year .