Text: However (and this can be proved mathematically), although such systems exist, none of them can be explicitly described.
Entailment: There is no explicit way to explain these systems.
Contradiction: There are many people who have been able to describe such systems.