Forcing in sound DLLs