nondefinitions