uncompoundedness

not defined yet