Introduce new violation