* v • ~ C * D.