known< T, EDMLIST > Node1 known< T, EDMLIST > + value