nonsubmergence

not defined yet