monatomicity

not defined yet