mnli premise: However (and this can be proved mathematically), although such systems exist, none of them can be explicitly described. hypothesis: People have tried to come up with theories that explain such systems.