unmodifiedness

not defined yet