removed DDWrites contravariance