compositionally

not defined yet