... Аргумент из -за отсутствия переходных типов сводится к поразительному факту, что такие типы всегда отсутствуют, если они не были найдены.