noninterfering

not defined yet