[OkGoDoIt]

Perhaps I misunderstood the video in that case, maybe it was a subset of the tax code. But he copied and pasted the entirety of what appeared to be the official tax code.