User blog comment:KthulhuHimself/Library Function/@comment-109.94.79.14-20151113141757/@comment-26428969-20151114071253

a lot of them are disqualified by Lib's rules but things like "The last number used by humanity until now" are not, and are obviously problems to the resolution of Lib(x). of course the definition id nowhere close of being finished by even a tenth, and its pretty much doomed