[exe34]

> Even low-IQ humans can in principle learn how to use Lean to represent a multivariate system.

That's an article of faith. In principle, elephants can fly at least once.