dv : D -> C