Update adjoin.pp