Definition of "distills"