unviolated

not defined yet