Nomes de classes declaradas em um círculo externo podem ser referenciados pelo código em um círculo interno, desde que esse código no círculo interno corresponda a declarações e implementações de subclasses daquelas declaradas no círculo externo. 

O nome de algo declarado em um círculo interno não deve ser referenciado pelo código em um círculo externo.

O nome de algo declarado em um círculo externo deve, ao menos uma vez, ser referenciado pelo código em um círculo interno.

O nome de algo declarado em um círculo externo não deve ser referenciado pelo código em um círculo interno.

As dependências de código-fonte devem apontar na direção dos mecanismos, partindo das políticas, ou seja, políticas dependem dos mecanismos.