into: remove DD <- DD implementation using extend