Okasaki went to CMU
corrections and clarifications
font size hacks