Lecture 12 - More lemmas, CYK