https://www.cs.cornell.edu/courses/cs4860/2009sp/lec-23.pdf give-name cornell-note cornell-note page 1: dedines godel stuff [bad arises from integrate-dense-writing] [1] 1: integrate-dense-writing inhibition appears to have associated tension levels that can worsen or improve it