cornell-note [1] [for what-is-diag-lemma] new unknown information: "theory" could-relate-to "theorem", mybe collextion or unproven 1: https://www.cs.cornell.edu/courses/cs4860/2009sp/lec-23.pdf