User blog comment:Ikosarakt1/Ideas of going past psi(K)/@comment-24509095-20140618162245/@comment-25418284-20140618203953

The real problem is not the complexity and "number of variables," but how abstract and difficult to understand they become. Calculus of constructions (the system behind Loader's function) is actually pretty simple, but it's very opaque and takes considerable effort to comprehend.