Therefore, there is no formalism for what these use dependencies mean yet.

因此，对于这些使用依赖的方式来说，尚没有形式化的东西。