Redo MST introduction notes to include safe cut lemma