Definition of "violates"