Violations properly modeled