Comment by mcronce

It is interesting. A subset of functionally (in this case) will build a superset of programs