Fixup: remove ligatures from source code pro
Minor edits to variance-related lemmas
Edit interval and testing proof