Preliminary finishing review.
Added relationship between \ell and \epsilon.
Committed KMMe change.
Commented out ksv-error appendix, since my proof doesn't end up working,
and I also don't need it to.
Commit to transfer to desktop.