Definition of NE VARIETUR.