nonaffectation
not defined yet