See also discussion on reddit with one of the creators.[0]

https://old.reddit.com/r/math/comments/1ca6bj8/new_foundatio...