composedness

not defined yet