mnli premise: However (and this can be proved mathematically), although such systems exist, none of them can be explicitly described. hypothesis: There are many people who have been able to describe such systems.