noncontamination

not defined yet