Definition of "derogates"