Definition of Ne Varietur