adjoin

not defined yet