nonvalidities
not defined yet