add, test and illustrate twViolation