to derogate [ derogated ; derogated ]