untaintedness

not defined yet