Definition of "derives"