adjoin
not defined yet