oops, here is the actual tex source. previous commit had the pdf rendering of it.