nonnullification

not defined yet