Make it clear that a DE is not mandated to return an error in the case that a C.ID or D.ID is not registered (do not want to put a strong requirement on DE to check incoming atoms against existing store).
Make it clear that a DE is not mandated to return an error in the case that a C.ID or D.ID is not registered (do not want to put a strong requirement on DE to check incoming atoms against existing store).