noncontingently

not defined yet