Вопрос относительно неявных преобразований в спецификации языка C#

Раздел 6.1 неявные преобразования определяет преобразование идентичности таким образом:

Преобразование идентичности преобразует любой тип в тот же самый тип. Это преобразование существует таким образом, что сущность, которая уже имеет требуемый тип, может быть названа конвертируемой в этот тип.

Теперь, что цель наказания, такие, как эти?

(в §6.1.6 неявные ссылочные преобразования)

Неявное ссылки преобразования:

• [...]


• из любого ссылочного типа в ссылочный тип T если он имеет неявное тождество или ссылочное преобразование в ссылочный тип T₀ и еще T₀ имеет преобразование идентификатора в T.

И:

(в §6.1.7 боксерские преобразования)

• тип значения имеет боксерское преобразование в тип интерфейса I если он имеет преобразование бокса в тип интерфейса I₀ и еще I₀ имеет преобразование идентичности в I.

Можете ли вы привести пример двух типов T₁, T₂ такое, что T₁ будет ли не неявно конвертироваться в T₂ если бы не вышеназванное ... параграфы?