<tswett> le/rn fundamental theorem of Taneb/The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent.

#!/usr/bin/env python
import sys, urllib
if len(sys.argv) <= 1:
    print "http://codu.org/projects/hackbot/fshg/"
else:
    print ("http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/" +
        urllib.quote(sys.argv[1]))