Comments on: Transistors, Logic, and Math http://www.cs.unc.edu/~gb/Comp411Spring2007/