nonvalidity

not defined yet