Re: [Numa15] Definition 1.6