Definition of "contrail"