Ключевая мысль такая: все умозаключения, выводимые специализированными системами, согласуются с эксплицитными интерпретациями
